3 repositories on SrcLog
A 2d geometry library for ocaml
OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)
A syntactic extension that generates tests for your programs.