Control AI robots. Community-driven UI middleware for controlling robots, recording datasets, training action models. Compatible with SO-100 and SO-101

Master of Ceremonies. Display & presentation utilities to make presentation packages more effective

Learning the paxos algo(s) by writing some ocaml code.

Pure OCaml regular expressions, with support for Perl and POSIX-style strings

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

JavaScript image gallery for mobile and desktop, modular, framework independent

A mixture of tooling combined to produce JavaScript from OCaml & Reason

A fast, clean, responsive Hugo theme.

comment engine

A fast, clean, responsive Hugo theme.

Low-level JSON parsing and pretty-printing library for OCaml

Project Interaction Library for Emacs

Documentation of everything relevant in the OCaml world

Auto-formatter for OCaml code

OCaml Language Server Protocol implementation

Emacs OCaml mode

Standard library for OCaml

Example multi-paxos application for those learning Paxos & multi-paxos

A Lean companion to Analysis I

Compiler from OCaml to Javascript.

magic-trace collects and displays high-resolution traces of what a process is doing

V2 of Real World OCaml

A reasonable configuration language

Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚

A intuitive, lightweight web framework in C for building modern web applications

KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.

An exabyte-scale, multi-region distributed file system

OCI Image Format

A composable build system for OCaml.