One calendar, all paradigms
Discrete-event, agent-based, and system dynamics components run on one event calendar, alongside the component libraries you write.
Execution modelA simulation environment
built on an open specification.
Simcraft runs discrete-event, agent-based, and system dynamics models written in OSDL, an open JSON document format. Extend it with your own component libraries, all verified against an open specification. Keep models in the version control, data pipelines, and AI workflows you already use. It is pre-alpha; interfaces can change.
A verified deterministic kernel
The Lean reference machine defines the kernel semantics. Engine traces are diffed against it for every conformance case.
Reference machine and conformanceModels as documents
An OSDL model is plain JSON. It diffs in version control, and scripts, pipelines, modelers, and AI tools author the same document.
OSDL 0.1 specificationBuild your first model.
Start with the single-server queue and run it in your browser.