Command-line JSON processor

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

Chez Scheme

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

WebAssembly specification, reference interpreter, and test suite.

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.

The MLton repository

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

Low-Level Software Security for Compiler Developers

Main public package repository for opam, the source package manager of OCaml.

HTML 5 canvas implementation of Mario written in Ocaml

Counterexamples in Type Systems

Library for binding to C libraries using pure OCaml

QuickCheck inspired property-based testing for OCaml.

Code coverage for OCaml and ReScript

Unix system programming in OCaml book

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