204. CondoReliable and simple idempotent supervisor for Docker containers
205. ShexpProcess library and s-expression based shell
208. RillStatically typed system programming language for 文鳥
210. BlottAn experimental type checker for a modal dependent type theory.
211. LabyLearn programming, playing with ants and spider webs ;-)
212. MerlinContext sensitive completion for OCaml in Vim and Emacs
214. Lua MlAn embeddable Lua 2.5 interpreter implemented in OCaml
215. OmicrobAn OCaml generic virtual machine for microcontrollers
218. Coq SerapiCoq Protocol Playground with Se(xp)rialization of Internal Structures.
220. JingooOCaml template engine almost compatible with jinja2
222. PiafClient library for HTTP/1.X / HTTP/2 written entirely in OCaml.
223. AlbatrossAlbatross: orchestrate and manage MirageOS unikernels with Solo5
224. LemLem semantic definition language
229. Notebooks 📓 A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc
237. KappatoolsTool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at
243. OpalangThe Opa Language for Web Application Development
247. OcurrentKeeps things up-to-date (a CI/CD pipeline OCaml eDSL)
248. GdbprofilerRich man's profiler, a profiler for native OCaml and other executables
250. SlapBLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations