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

A composable build system for OCaml.

Programming Languages Zoo

Systems language with linear types and capability-based security.

V2 of Real World OCaml

Compiler from OCaml to Javascript.

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

moved from https://sourceforge.net/p/min-caml/code/

A garden of small programming language implementations 🪴

A compiler for a tiny (but growing!) subset of C, written in OCaml.

Spartan type theory

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

Compiler from C to brainfuck

Reference implementation for Writing a C Compiler

Quick C-- compiler (no longer maintained)

Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples

Real number computation software

Simple C Compiler in OCaml

A prototype programming language for programming with runners

Tools to manipulate and interpret shmup patterns

Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.

Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

A bare-bones LCF-style proof assistant

An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)

OCaml PLTP: An independent reproduction of the Boyer-Moore Pure Lisp Theorem Prover

Lisp implementation in OCaml

Zapiski pri predmetu Principi programskih jezikov