•        0

AsmL is the Abstract State Machine Language, developed Microsoft Research. It is an executable specification language based on the theory of Abstract State Machines. This CodePlex project comprises an AsmL compiler that targets .NET code.



Related Projects

state_machine - Adds support for creating state machines for attributes on any Ruby class

Adds support for creating state machines for attributes on any Ruby class

OpenFst Library for constructing weighted finite-state transducer

OpenFst is a library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). Weighted finite-state transducers are automata where each transition has an input label, an output label, and a weight. FSTs have key applications in speech recognition and synthesis, machine translation, optical character recognition, pattern matching, string processing, machine learning, information extraction and retrieval among others.


Generates common user authentication code for Rails/Merb, with a full test/unit and rspec suite and optional Acts as State Machine support built-in.

Jikes RVM

Jikes RVM is a flexible infrastructure for virtual machine research


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!

javascript-state-machine - A finite state machine javascript micro framework

A finite state machine javascript micro framework

QP Active Object (Actor) Frameworks

Event-driven, RTOS-like, active object frameworks for microcontrollers

dktools - Dirk Krauses tools

A set of command line tools for advanced users and administrators. Graphics conversion (PNG/TIFF/JPEG to PS/EPS/PDF, Fig to PS/EPS/PGF/PDF+TeX/EPS+TeX/SVG), administration tools (create configuration and documentation from database), printing tools (print quota enforcement, send file to Windows print queue, Windows print queue cleanup, LPRng queue cleanup), developer tool (tracing and debugging, wxWidgets GUI code generation, state machine code generation), networking tool (send data strea

Finite State Machine Editor

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

ASMETA: a tool set for the ASM

A set of tools for Abstract State Machines (ASM) based on their Metamodel (AsmM)