OCaml is a strict, strongly-typed, functional programming language, focusing on expressivity, correctness and performance. These qualities make it the language of choice for complex software and timely go-to-market strategies... Learn more


OCamlPro develops tools for OCaml, among them TypeRex, a multi-platform development studio. It enables OCaml developers to be more efficient and to produce code with higher quality. TypeRex is an open-source software... Learn more