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
Custom VMs From 1 to 96 vCPUs With 99.95% Uptime
General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications.
See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv.
This utility provides a GUI to create unit files for the game "Battle for Wesnoth". The user sets the unit properties from the GUI of the utility. Once all the properties have been set, it is possible to export them into a .cfg which will be read by the game.
Further details can be found in the project wiki: http://sourceforge.net/p/wesworkshop/wiki/.
Version 1.1* released. Please go to the wiki page to see the changes. Note you will not be able to load your works developed with the...
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
...Generates basic tests or Open POJO tests for simple objects and generates test stubs for complex objects. Helps developers test projects created without Unit tests or without Agile methodologies
Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.
J!Cob (Joomla! Component Builder) is a project whose aim is providing Joomla! developers with tool for automatically writing standard and repetitive (thus boring) pieces of code.
Agile development with Java. JAVA EE Rich Internet Application Generator for jBoss Seam Framework. jGenUI produces java code integrated with Seam, Richfaces and Hibernate. More information at http://www.jgenui.org
Start building on Google Cloud with $300 in free credits. No commitment, no credit card required until you're ready to scale.
Launch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
Skyway Builder Community Edition (CE) is an Eclipse-based, code generation tool for accelerating the development of Spring applications. Spring MVC scaffolding capabilities allow users to generate a Spring-based, Java CRUD application in minutes.
The goal is to generate UML classes from an existing database. Connect to a database, read its schema and produce UML 2 classes with associations (conforming to Eclipse EMF). Prerequisite: - Eclipse 3.4 - MDT - EMF 2.4 / UML 2.0
axis2M increase the usability of Apache Axis2 by integrating with Maven2 with Convention over Configuration concept.Axis2M provide Quickstart archetype "run" plug-in to run SimpleHttpServer,customized versions of WSDL2Code,Java2WSDL,AAR plug-ins.
RapDAF is both a high speed data access framework, and an agile development process. The framework is built for speed. The development process takes advantage of xml and code generation to easily create and maintain data objects.
Source code generator. This project take 10 words and generate tables, scripts and source code for making CRUD. It's posible to modify tables and field so the web learn like a neuronal network.