3 results found Sort:

INRIA
velus INRIA
6
66
other
9
A Lustre compiler in Coq
lustre compcert coq-formalization synchronous-language
Created 2019-10-21
2,156 commits to paul-thesis branch, last one 2 months ago
INRIA
zelus INRIA
14
50
other
9
A synchronous language with ODEs
odes ocaml zelus hybrid-systems synchronous-language
Created 2020-05-30
2,226 commits to main branch, last one 4 months ago
IBM
probzelus IBM
11
46
apache-2.0
10
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
ocaml zelus synchronous-language probabilistic-programming
Created 2019-12-17
756 commits to master branch, last one 10 months ago