index
NameDescriptionOwnerIdleLinks
blogblog.isomorphis.me9 yearssummarylogtree
dictA simple dictionary webapp3 yearssummarylogtree
dp-satA SAT-solver based on the Davis Putnam algorithm10 yearssummarylogtree
dpll-satBegins of a SAT solver using the DPLL algorithm8 yearssummarylogtree
fn-handlerA hackish daemon handling laptop special keys8 yearssummarylogtree
guide-darksoulsGuide de démarrage pour Dark Souls7 yearssummarylogtree
o2engine2D engine managing (only) balls, and missilecommand, a small game using it. In O...10 yearssummarylogtree
ocaml-swcOCaml bindings to SWC/(some parts of)Wayland9 yearssummarylogtree
ocaml-wlcOCaml bindings to Wlc (https://github.com/Cloudef/wlc)8 yearssummarylogtree
omUrl minifier in OCaml9 yearssummarylogtree
papiersA pdf/papers manager3 yearssummarylogtree
stoneA simple static website generator, written in OCaml3 yearssummarylogtree
voyageurImplementation of a simple (and slow) algorithm for TSP. Readline interface.10 yearssummarylogtree