proof of concept for https://github.com/ocaml/RFCs/pull/19
A parser and some utils for SMTLIB. For a fully compliant parser, see https://github.com/Gbury/dolmen/.
[frozen] Scheduling and running jobs on a shared computer, then analyse their output
[wip] Reimplementation of thrift in OCaml
[unfinished] structured, hierarchical log system for OCaml
[toy] ocaml client for gemini
[bench] benchmark of various iterator implementations
[toy, wip] A chain with lots of lemmas. More specifically, a logic programming engine.
[toy] And-Inverter Graph in OCaml