Search Results for "virtual-machine"

Classdesc is a system for adding reflection to C++, ie the ability to query an object's structure at runtime.

ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides. It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.

SMC takes a state machine stored in a .sm file and generates a State pattern in 14 programming languages. Includes: default transitions, transition args, transition guards, push/pop transitions and Entry/Exit actions. See User Manual for more info.

ObjectBuilder is a C++ code generation CASE tool (CASE, code generation, refactoring, documentation generation). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction. ObjectBuilder dramatically simplify work with C++ project architecture. I use it and think that tree OO interface targeted to C++ more fast and power than UML class diagrams. ObjectBuilder perfectly organize C++ header files with any level of...

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.

An implementation of a light-weight stack-less jit compiler for x86 (32/64), ARM (32 [v5,v7,thumb2]/64), PowerPC (32/64), MIPS (32/64) and SPARC (32) architectures. It generates machine code from a platform independent (simplified) assembly language.

A Finite State Machine Editor, written on QT. It allows to draw Finite State Machine with easy GUI and store it in XML file. There are Finite State Machine Compilers to translate this description to source code (technique like QT's UIC uses).

A highlevel API to instrument Java bytecode. Jiapi can be used to modify bytecode of a Java class before it is loaded into a virtual machine.

...The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. A step-by-step tutorial is available within the software package.

itemis CREATE - formerly known as Yakindu Statechart Tools (SCT) - is a tool for the specification and development of reactive, event-driven systems with the help of state machines. It consists of an easy-to-use tool for graphical editing and provides validation, simulation and code generators for different target platforms. Visit http://www.statecharts.org for more information! !! YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools

ECharts is a state machine-based programming language for event-driven systems derived from the standardized UML Statecharts language. ECharts has a proven track-record in a large-scale commercial deployment. Take a look at what ECharts has to offer!

pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit...

JPype is an effort to allow python programs full access to java class libraries. This is achieved not through re-implementing Python, as Jython/JPython has done, but rather through interfacing at the native level in both Virtual Machines. Maintenance and evolution of the project has moved! please see http://www.jpype.org for the latest version

SM2W is an Eclipse plug-in that allows users to generate Apache Wicket code (Java and Html markup) from a state machine diagram.

MUgen is an emulator generator which works in a way similar to yacc. It takes an input machine description and outputs a source file which is a fully implemented emulator of that system. This is the open-source system.

CL-BF - Brainf**k interpreter, virtual machine and code generator written in Common Lisp.

A simple, fast, finite state machine (fsm) C code generator using an awk script to read a fsm specification (state, event, action, next state) to produce data for use by included transition function. You provide the fsm spec and the action functions.

Tool used to generate state machine framework code from a terse set of directives embedded directly in the input source code file. This tool will also generate GraphViz graphical description and Spin/Promela modelling output.

K-automaton is a new parsing (syntactic analysis) machine isomorphous to language. Implemented in Java. Can generate Java code from grammars described in EBNF.

NState is a pragmatic Finite State Machine implementation in DotNET. FSMs are defined either in XML or programmatically, and can be run directly or compiled to either C# or VB.NET. Includes WinForms and ASP.NET Panels, and Visual Studio integration.

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.

ubcc is a just-in-time compiler for various bytecodes. It is designed for use in operating system kernels.

Lithium, the language independent scripting engine framework.

The XPS is a scalable platform for meta-programming and domain engineering. It provides a virtual machine, compiler, and runtime library that make it possible to efficiently develop, debug, and run programs based on XPL (eXtensible Programming Language)

NunniFSMGen generates a FSM (Finite State Machine) in Java, C or C++ starting from a transition table. NunniFSMGen cleanly separates logic from implementation by using a modified version of the state pattern, easing the development process!