Projects in Awesome Lists tagged with zelus
A curated list of projects in awesome lists tagged with zelus .
https://github.com/inria/zelus
A synchronous language with ODEs
hybrid-systems ocaml odes synchronous-language zelus
Last synced: 19 Dec 2024
A curated list of projects in awesome lists tagged with zelus .
A synchronous language with ODEs
hybrid-systems ocaml odes synchronous-language zelus
Last synced: 19 Dec 2024