OCaml Language Server Protocol implementation

A tool-agnostic formal specification language for OCaml.

Yet another ActivityPub server implementation written in OCaml

tools for the book "Concepts of Programming Languages"

Zero Knowledge LANGuage in OCaml

Yet another static site generator

Parsing library for the TRS format, the format for first-order rewrite systems.

Todo app with ocaml http backend