3 results found Sort:

INRIA
velus INRIA
6
65
other
10
A Lustre compiler in Coq
lustre compcert coq-formalization synchronous-language
Created 2019-10-21
2,156 commits to paul-thesis branch, last one about a month 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 2 months 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 8 months ago