Programming language for literate programming law specification

Formal verification for OCaml

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

2d game engine for OCaml

A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries

A set of components that fit, a priori, relatively well with the web framework (OCaml) Dream to try to build, at best, and quickly, dynamic web applications.

A dead simple implementation of a subset of YOCaml for teaching purpose

Progress bar library for OCaml