A static analyzer for Java, C, C++, and Objective-C

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

Implementations of various type systems in OCaml.

Compiler from OCaml to Javascript.

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

KaRaMeL is a tool for extracting low-level F* programs to readable C code

An OCaml lexer generator for Unicode

extensible Markdown library and tool in "pure OCaml"

Self-contained monadic parser combinators for OCaml

Compile-time metaprogramming for OCaml

CommonMark parser and renderer for OCaml