OCaml Language Server Protocol implementation

The Ott tool for writing definitions of programming languages and calculi

Declarative definition of command line interfaces for OCaml

Hygienic typed literal macros (TLMs) for Reason

extensible Markdown library and tool in "pure OCaml"

A functional programming language with shell scripting capabilities

A library with an encoding of higher kinded types in OCaml

Bimodal text editing and direct manipulation-driven synthesis on tangible values for (some subset of) OCaml.