2 results found Sort:

INRIA
velus INRIA
6
56
other
10
A Lustre compiler in Coq
lustre compcert coq-formalization synchronous-language
Created 2019-10-21
1,572 commits to emsoft23-artifact branch, last one about a year ago
INRIA
zelus INRIA
11
48
other
10
A synchronous language with ODEs
odes ocaml zelus hybrid-systems synchronous-language
Created 2020-05-30
2,223 commits to main branch, last one 7 months ago