A C Compiler that fits in the 512 byte boot sector of an x86 machine

Static analysis of IEC 61131-3 programs

QuickCheck with shrinking for free

Dependency graphs for OCaml modules, libraries and packages

OCaml notebooks as a WebComponent

An open-source cross-platform alternative to AirDrop

A radical OCaml build system

Experimental opam plugin

Template for an ocaml project with modern tooling

double-to-ascii ocaml implementation

The main codex repository

A prototype to write blog posts with executable ocaml code blocks

Command-line and Emacs Calendar Client

Static analysis framework for C

The first ever roguelike written in the OCaml type system

Applying LRGrep to OCaml frontend

line based patch, input is a unified diff

OCaml bindings for raylib and raygui

OCaml linter

2d game engine for OCaml

Examples for OCaml libraries, prior to upstreaming

Build reactive web interfaces with signals.

Unikraft core platform libraries for MirageOS

OCaml cross-compiler to freestanding Unikraft backends

Explore OCaml is a centralised source of workflows for being productive with OCaml using the OCaml Platform

Library for binding to C libraries using pure OCaml

Fast char sets

An implementation of the Transmission Control Protocol in OCaml

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel