With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Try free now
Fully Managed MySQL, PostgreSQL, and SQL Server
Automatic backups, patching, replication, and failover. Focus on your app, not your database.
Cloud SQL handles your database ops end to end, so you can focus on your app.
The bflow* Toolbox is an open source toolkit for business process management. The objective of bflow* is to explore new ways and scenarios for the development and use of modelling tools.
This project adds CMake support to the Eclipse C Development ToolKit (CDT).
CMake is cross-platform free and open-source software for managing the build process of software using a compiler-independent method. It is designed to support directory hierarchies and applications that depend on multiple libraries. It is used in conjunction with native build environments such as make, Apple's Xcode, and Microsoft Visual Studio.
Xcarecrows4XML completes Eclipse to handle the tasks required by an XML workflow. It offers: a graphical XML, XML Schema and XML stylesheets editor; a graphical XML tree comparator; a built-in checker against XML Schemas; an XSL transformations toolkit.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
a tool-kit for creating "web 2.5 generation", include several useful stuff to work with semantic web (otology editor, gui for sparql query, ontology components...) and design RIAs's gui visually (html + ajax based apps, flash based apps,...)
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.