Adds static typing to JavaScript to improve developer productivity and code quality.

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

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

V2 of Real World OCaml

HTML 5 canvas implementation of Mario written in Ocaml

The Ott tool for writing definitions of programming languages and calculi

Browser-based GTD (TODO list) system. No server needed.

Another Emacs Org-mode and Markdown parser.

The Makam Metalanguage

Shoo is a statically typed programming language with first-class functions, structs, and arrays.

Go! Lisp in OCaml

Abstract krivine machine implementing call-by-name semantics. In OCaml.

secret project