Tempo is A lightweight synchronous runtime inspired by Esterel, Boussinot’s FairThreads, and ReactiveML, leveraging OCaml 5 effects to experiment with modern implementations.
https://github.com/DabrowskiFr/tempo
Languages, Models and Verification
Tempo is A lightweight synchronous runtime inspired by Esterel, Boussinot’s FairThreads, and ReactiveML, leveraging OCaml 5 effects to experiment with modern implementations.
https://github.com/DabrowskiFr/tempo