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.
Try 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.
TAT is a tool to aid in producing a list of Actors, Use Cases, Candidate Classes and Attributes from a plain text file of a statement of requirements by highlighting words and clicking on the appropriate button or menu item. Results saved as text or XML.
Waters - the Waikato Analysis Tool for Events in Reactive Systems.
This software will enable users to create finite-state machine models in a graphical user interface, to simulate their execution, and to apply model checking algorithms to them.
COMPAS J2EE is a non-intrusive performance instrumentation and monitoring toolkit for J2EE.
It uses adaptive monitoring to automatically adjust the target coverage. COMPAS is completely portable across J2EE application servers and OSs.
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.
Thinkingcap is an enterprise, meta-model driven, next-generation
100% Java application server. It offers caching, indexing, platform
neutral queries, transactions, multi-user concurrency and permissions
control, web services, schema extraction etc.
Paxion is a graphical editor for Büchi automata (a special kind of finite state automata), written in Java. The ultimate goal is to provide a graphical frontend for several modelcheckers but it can already be used as a standalone editor of automata.
UMLet is an open-source Java tool for rapidly drawing UML diagrams, with a focus on a sound and pop-up-free user interface. Its homepage is www.umlet.com.
v15.1 released on March 20, 2023.
Simple editor and analyzer of Petri nets. It allows you to build reachability tree with/without instant transitions and Markov chains. It is also possible to set transition distributions and set all the parameters of the current distribution.
This project was made as a course project at NTUU "KPI" during attending classes "Computer modelling".
Feel free to make any changes to the current version or ask me if you have any question.
LogicBuilder helps developers create complete and correct logic structures (if then else). Logic structures based on multiple variables are prone to human error. LogicBuilder eliminates this source of error.
Entity Relationship Designer written totally in java (using Sun Java Studio) and based on Mogwai ER Designer. Includes ability to connect to several data sources including mySQL.
This project starts to create an open tool for creating, manipulating and visualizing DTDs (in a later state it should work also with other other specification languages such as XML Schema and RELAX NG).
Institute of Technology, Blanchardstown Computer Science code by the class of 2007-2011 on course BN104. In this project we are open sourcing all of our project work to the public in the hopes it can be reused, built-upon, and used in education.