Sujet: "synchronous-language"
INRIA/velus
A Lustre compiler in Coq
langage: Coq - taille: 9,76 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a environ un mois - étoiles: 68 - forks: 6
INRIA/zelus
A synchronous language with ODEs
langage: OCaml - taille: 62,1 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a 3 jours - étoiles: 51 - forks: 14
Sujets associés