The core OCaml system: compilers, runtime system, base libraries

A composable build system for OCaml.

A statically-typed, functional typesetting system

Compiler from OCaml to Javascript.

Execute code blocks inside your documentation

Normalization by Evaluation for Martin-Löf Type Theory

A C-style programming language for expressing practical Factorio circuits that compiles into Factorio combinator blueprints

👹 A library for hierarchical names and lexical scoping

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments