eXtensible Abstract State Machines Files

Status: Alpha

Brought to you by: matthiasanlauff, pwkutter

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
XasmMontages-v0.2	2002-03-22	0
XasmMontages-v0.1	2002-03-11	0
Totals: 2 Items		0

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

$300 in Free Credit Towards Top Cloud Services

Build VMs, containers, AI, databases, storage—all in one place.

Start your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.

Get Started

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Recommended Projects

embedded Finite State Machine (eFSM)
The embedded Finite State Machine (FSM) Facility that can be used to model and control a reactive or stateful system. The system can be represented by any number of states. State transitions are driven by a number of events. eFSM is written in C.
XPS: eXtensible Programming System
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)
$Formulator MathML Editor$

Formulator MathML Editor
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
RODIN
Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.