bvaugon/ocamlcc

OCaml bytecode to C compiler

adamrk/llvm-ocaml-tutorial

The LLVM tutorial using OCaml

cs3110/textbook

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

ocamllabs/ocaml-internals

Wiki for ocaml compiler internals

cmsc430/cmsc430.github.io

CMSC 430 Design and Implementation of Programming Languages

nanocaml/nanocaml

Nanopass for OCaml

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

bobzhang/ocaml-book

a book about ocaml