OCaml
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.
Concurrent Programming with Effect Handlers
An OCaml kernel for Jupyter (IPython) notebook
This contains documentation and examples on how to use Buck 2 to build OCaml projects.
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
An overlay on Eglot for editing OCaml code using LSP
📜 CCL: Categorical Configuration Language, The most elegant configuration language