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

MirageOS is a library operating system that constructs unikernels

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

Compiler from OCaml to Javascript.

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

HTML 5 canvas implementation of Mario written in Ocaml

Library for binding to C libraries using pure OCaml

QuickCheck inspired property-based testing for OCaml.

Code coverage for OCaml and ReScript

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

A Mirage firewall VM for QubesOS

OCaml bindings for raylib and raygui

Static analysis framework for C

Elm architecture and (V)DOM for OCaml

Property fuzzing for OCaml

Easy OCaml bindings for Javascript libraries

A tool-agnostic formal specification language for OCaml.

YOCaml is a static site generator, mostly written in OCaml

Hotcaml: an interpreter with watching and reloading

A peer-to-peer file-transfer tool in OCaml

Progress bar library for OCaml

A Simple Profiling Library for OCaml

Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

A CI for OCaml projects

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

Dead-code analyzer for OCaml

The first ever roguelike written in the OCaml type system

Template for an ocaml project with modern tooling

Realtime grep for OCaml/Coq sources available on opam