GitHub topics: ocaml
Antique-team/memcad
The MemCAD static analyzer
taille: 877 ko - dernière synchronisation: il y a 4 jours - enregistré: il y a plus de 3 ans - étoiles: 26 - forks: 5
ANSSI-FR/mabo
MRT Parser
langage: OCaml - taille: 41 ko - dernière synchronisation: il y a 3 jours - enregistré: il y a environ 6 ans - étoiles: 47 - forks: 7
INRIA/zelus
A synchronous language with ODEs
langage: OCaml - taille: 62,3 Mo - dernière synchronisation: il y a 3 jours - enregistré: il y a 3 jours - étoiles: 51 - forks: 14
coq/bot
A (Coq Development Team) bot written in OCaml
langage: OCaml - taille: 6,73 Mo - dernière synchronisation: il y a 3 mois - enregistré: il y a 3 mois - étoiles: 23 - forks: 16
