HOTP and TOTP algorithms for 2-step verification (for OCaml). 🕙 🔐 🔢 🐫

A cross-platform library for building Gemini servers

A simple melange app with native dune support and onix for dependency management.

Implementation of SMTP protocols in OCaml

A "implementation" of Girard's paradox in OCaml

Io multiplexers bindings for ocaml (poll/kqueue/epoll and so on)

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

Reagents for multicore OCaml

Server render Reason React components with OCaml natively

OCaml playground

Lightweight document

Static types for JSON APIs

Build reactive web interfaces in OCaml.

Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)

MirageOS unikernel to test networking

Albatross: orchestrate and manage MirageOS unikernels with Solo5

Full-featured, open source mail server solution for mainstream Linux/BSD distributions.

MirageOS is a library operating system that constructs unikernels

TOPL Runtime Verifier

Matita (proof assistant) with embedded elpi

Tools for record-and-replay debugging

Port of HTTP/AF & H2 with Mirage and mimic

a small, simple block-backed key-value store for MirageOS

The Caml Light implementation of the Caml language

Match compilation algorithm in OCaml

Systems language with linear types and capability-based security.

Jane Street Capital's asynchronous execution library (unix)