GitHub topics: ocaml
ANSSI-FR/mabo
MRT Parser
Language: OCaml - Size: 41 KB - Last synced at: 1 day ago - Pushed at: about 6 years ago - Stars: 47 - Forks: 7
INRIA/zelus
A synchronous language with ODEs
Language: OCaml - Size: 62.1 MB - Last synced at: about 4 hours ago - Pushed at: 1 day ago - Stars: 51 - Forks: 14
coq/bot
A (Coq Development Team) bot written in OCaml
Language: OCaml - Size: 6.73 MB - Last synced at: about 2 months ago - Pushed at: about 2 months ago - Stars: 23 - Forks: 16
Antique-team/memcad
The MemCAD static analyzer
Size: 877 KB - Last synced at: 1 day ago - Pushed at: over 3 years ago - Stars: 25 - Forks: 5
