Command-line and Emacs Calendar Client

OCaml notebooks as a WebComponent

The Megalodon interactive theorem prover and proof checker

Coding game based on a series of problems meant to help you learn a language by providing an attainable goal.

Yet another ActivityPub server implementation written in OCaml

The maeel programming language

An OCaml program to fetch ahierarchy of Notion pages

Commodity thread pools and concurrency primitives for OCaml 5

mirror of https://git.robur.coop/robur/http-mirage-client

A Rust verification tool

Config for River Window Manager written in Ocaml :3

Generate CloudFormation templates with OCaml

Ocaml library for Grew (graph rewriting for NLP)

Make opam-repository-archive a smooth sail

ReScript PPX for the react hook form bindings

A derivation explorer and logger for menhir parser

Petrol's an OCaml SQL API made to go FAST.

Semantic versioning

🐪 An OCaml driver for Timeplus Proton timeseries streaming database

Automated Error Analysis of Numerical Software for High-Consequence Systems

Reactive signals for OCaml.

The main codex repository

Connection pool for `cohttp` client backends, enabling reuse of HTTP connections