GitHub topics: synchronous-language
INRIA/velus
A Lustre compiler in Coq
langage: Coq - taille: 9,86 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 2 mois - étoiles: 70 - forks: 7
INRIA/zelus
A synchronous language with ODEs
langage: OCaml - taille: 62,7 Mo - dernière synchronisation: il y a 2 jours - enregistré: il y a 2 jours - étoiles: 51 - forks: 14
Related Keywords