Search Results for "order"
Sort By:
2 projects for "order" with 2 filters applied:
-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
1
FXwm
A minimistic Linux window manager with css style config
...As a result, this window manager only manages windows and does not provide any supervision at all. Instead it relies on another program, such as wbar or web.de, to actually provide that functionality. And in order to keep administration to a minimum, there is only one config file that can be manipulated to change the appearance of the window chrome using css styled syntax. -
2
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...The underlying algorithm is based on a translation to Bernstein polynomials, and several optimization techniques are implemented to ensure efficiency. Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large)
- Previous
- You're on page 1
- Next
