A synchronous language with ODEs
INRIA
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
IBM