3 results found Sort:

INRIA
velus INRIA
6
63
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
13
50
other
10
A synchronous language with ODEs
odes ocaml zelus hybrid-systems synchronous-language
Created 2020-05-30
2,226 commits to main branch, last one about a month ago
IBM
probzelus IBM
11
46
apache-2.0
11
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 7 months ago