GitHub topics: ocaml
INRIA/ocaml-ortools
OCaml interface to (parts of) Google OR-Tools
Language: C++ - Size: 37.7 MB - Last synced at: about 6 hours ago - Pushed at: 11 days ago - Stars: 6 - Forks: 2
Antique-team/memcad
The MemCAD static analyzer
Size: 877 KB - Last synced at: 2 days ago - Pushed at: over 4 years ago - Stars: 27 - Forks: 5
INRIA/zelus
A synchronous language with ODEs
Language: OCaml - Size: 62.8 MB - Last synced at: about 6 hours ago - Pushed at: 3 days ago - Stars: 60 - Forks: 14
ANSSI-FR/mabo 📦
MRT Parser
Language: OCaml - Size: 41 KB - Last synced at: about 5 hours ago - Pushed at: about 7 years ago - Stars: 47 - Forks: 7
coq/bot
A (Coq Development Team) bot written in OCaml
Language: OCaml - Size: 6.73 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 23 - Forks: 16
