Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Start Free
Our Free Plans just got better! | Auth0
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.
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
CEManTIKA (Contextual Elements Modeling and Management through Incremental Knowledge Acquisition) is a framework to support context modeling and Context-Sensitive System design, in a generic, domain-independent way.
JSPWikiWinWin Involves the requirement negotiation and elicitation in software engineering and improves
the negotiation process based on WinWin Spiral Model, which supports the negotiation in
different locations and time
DB Designer Fork is a fork of the fabFORCE DBDesigner 4. It integrates entity relationship design,front-end (you can run queries) and SQL exporting.DB Designer Fork generates SQL scripts for Oracle, SQL Server, MySQL, FireBird, SQLite and PostgreSQL.
The Domain Specific Modeling Language for Multiagent Systems (DSML4MAS) is a platform independent language for specifying multiagent systems. The DSML4MAS Development Environment (DDE) is a model-driven development environment based on DSML4MAS.
Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
This tool convert text / string /char / character to ASCII and Hex or Hexadecimal. It also convert ASCII to Text and Hex or Hexadecimal. It also convert Hex or Hexadecimal to Text and ASCII. This is a simple, flexible and easy to use for wide range of ap
This project provides a framework for the generation of workflow code from high-level models. It enables people with no or little experience in this area to generate workflow code a reasonable time by specifying generation templates and reusing adapters.
We are trying to empower developers by building a portal that aggregates a wide range of software development support applications. Everybody should be able to check the project health now and then.
SMARD is a development environment that simplifies the programming of
applications based on mobile agents. Using a graphical interface,
programmers can design, build and launch mobile agents which are
intended to run on JADE platforms.
jppa is a pointer and purity analysis tool for Java programs. Mainly a purity analysis tool: given a full Java program, it detects pure JML-style methods, i.e., methods that do not mutate existing objects (they may mutate new ones).
Coral is a tool and a development platform to create and transform models and modeling languages. It can be used to edit UML models, to develop editors for other modeling languages and to implement MDA and QVT-like model transformations.
The FermaT toolset is the implementation of the FermaT Transformation Technology which developed semantic preserving code transformations to simplify programs without changing their behavior. The correctness is guaranteed by mathematical proof.