SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.
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...
This is the tool for generating C++ and Java finite state machines and also diagrams. The benefits of this solution: It is light and fast. It is using dynamic memory allocation very low. Logic of transitions is separated from implementation of event
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.
Many design artifacts can be directly executed. UML state processes can be executed by a state machine; UML sequence diagrams can be executed directly. ExecDesign will be a suite of Java tools which can be used to document and execute UML designs.
lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.
JC is a Java virtual machine implementation that converts class files into C source files using the Soot Java bytecode analysis framework, compiles them with GCC, and loads them using a built-in ELF object loader. JC uses GNU Classpath's class library.
Janux is a project to port the java virtual machine directly on top of the Linux kernel using
bypassing the traditional posix enviroment. This results in very fast java implementation for linux and and opportinuty to develop java based operating syste
A byte code generation library for the Java Virtual Machine
ClassMaker is a byte code generation library for the Java Virtual Machine. Unlike other byte code libraries ClassMaker deals with higher order structures, including methods, if statements, while loops and try blocks.
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.