Pinned Loading
Repositories
Showing 5 of 5 repositories
- .github Public
- osdl Public
Formal specification of the Open Simulation Definition Language (OSDL), written in Lean 4
- simcraft-des Public archive
The IDE and Discrete-Event Simulation (DES) framework for visual simulation modelling.
- cadcad-executable-spec Public Forked from BenSchZA/cadcad-executable-spec
An executable cadCAD specification
- radCAD Public Forked from CADLabs/radCAD
A Python framework for designing, testing, and validating complex systems through modelling and simulation.
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…