GitLab CI/CD and GitHub Action workflows used by and with DkML tooling

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

ppxlib simple example, minimal boilerplate to write a ppx. Using esy and alcotest for testing.

the core 0install package

Concurrent Programming with Effect Handlers

Functional reactive rhythm library

A Web Application for Learning OCaml

An OCaml kernel for Jupyter (IPython) notebook

This contains documentation and examples on how to use Buck 2 to build OCaml projects.

😎TT

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Implementation of Algorithm W

An overlay on Eglot for editing OCaml code using LSP

📜 CCL: Categorical Configuration Language, The most elegant configuration language