Backing repository for a live-coding presentation of a hybrid system runtime.
See https://git.henri-saudubray.fr/hms/hsim for a complete implementation.
- OCaml 97.9%
- Nix 0.9%
- Just 0.7%
- Dune 0.5%
| exm | ||
| lib/hsim | ||
| .envrc | ||
| .gitignore | ||
| dune-project | ||
| flake.lock | ||
| flake.nix | ||
| justfile | ||
| README.md | ||
hsim-live - A backing repo for a live-coding presentation
This repository served as the base for a presentation given during the LMF Non-Permanent Seminar, focusing on the implementation of a hybrid system modeler runtime, and heavily inspired by hsim and Zélus.
The presentation is split into two files:
- exm/main.zls for a brief introduction to Zélus;
- lib/hsim/full.ml for the implementation of the runtime (lib/hsim/fill.ml is a partial version, completed during the presentation).
For a more complete implementation, see hsim, or the Zélus compiler.