Month: May 2026

mechapuppet is a mechanized semantics and verified compiler for a subset of Puppet, a configuration management language.
https://github.com/MechaPuppet/mechapuppet-why3
https://hal.science/hal-05622814

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