GitHub topics: synchronous-language
INRIA/velus
A Lustre compiler in Coq
langage: Rocq Prover - taille: 12,3 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a 28 jours - étoiles: 71 - forks: 8
INRIA/zelus
A synchronous language with ODEs
langage: OCaml - taille: 63,5 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a 1 jour - étoiles: 60 - forks: 15
Related Keywords