Nottui & Lwd - A friendly toolkit for the ML programmer
CAMLroot: revisiting the OCaml FFI (01/2019, JFLA 2019)
Some lessons on how to make safer bindings between C and OCaml, learned from the implementation of an OCaml binding to the Qt framework.
Merlin: A Language Server for OCaml (Experience Report, ICFP 2018)
Merlin does interactive analysis of OCaml programs to provide IDE services that need semantic knowledge: completion and type-checking of identifiers, locating definitions, etc.
Wall (OCaml workshop 2018)
Inuit (OCaml workshop 2016)
Modular implicits (Proceedings ML/OCaml 2014)
Modular implicits is an extension of OCaml that brings ad-hoc polymorphism to the language. It is an alternative to Scala’s implicit and Haskell’s type classes, better suited to ML-style module systems.
TODO: Poster at PPM 2016?