3 results found Sort:

6
66
other
10
A Lustre compiler in Coq
Created 2019-10-21
2,156 commits to paul-thesis branch, last one about a month ago
14
50
other
10
A synchronous language with ODEs
Created 2020-05-30
2,226 commits to main branch, last one 3 months ago
11
46
apache-2.0
11
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
Created 2019-12-17
756 commits to master branch, last one 9 months ago