c-cube

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