Search Results for "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.

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...

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!

This is java State Machine Framework for all OS platforms. The framework is for modeling any event processing system as a state machine. This aims to separate the state transition and event handling logic from the business logic and let developers conce

turt. A language package for creating Turing machines and passing input for processing by the machine described by the language tt.