A synchronous language with ODEs - View it on GitHub