GitHub topics: ocaml
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
INRIA/ocaml-ortools
OCaml interface to (parts of) Google OR-Tools
langage: C++ - taille: 37,7 Mo - dernière synchronisation: il y a 1 jour - enregistré: il y a environ un mois - étoiles: 7 - forks: 3
Antique-team/memcad
The MemCAD static analyzer
taille: 877 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a presque 5 ans - étoiles: 27 - forks: 5
ANSSI-FR/mabo 📦
MRT Parser
langage: OCaml - taille: 41 ko - dernière synchronisation: il y a 12 minutes - enregistré: il y a plus de 7 ans - étoiles: 47 - forks: 7
coq/bot
A (Coq Development Team) bot written in OCaml
langage: OCaml - taille: 6,73 Mo - dernière synchronisation: il y a plus d'un an - enregistré: il y a plus d'un an - étoiles: 23 - forks: 16
