synchronous-language topic
List
synchronous-language repositories
pendulum
53
Stars
1
Forks
Watchers
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
velus
56
Stars
6
Forks
Watchers
A Lustre compiler in Coq
zelus
48
Stars
11
Forks
Watchers
A synchronous language with ODEs
probzelus
46
Stars
11
Forks
Watchers
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
bonsai
15
Stars
0
Forks
Watchers
Programming language based on the synchronous and constraint paradigms