Parse and type-check SMT-LIB 2 (tool)

randomized testing framework for Coq (tools)

improved OCaml toplevel

editor service to develop in OCaml (vim files)

JSON library for OCaml - tools