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

magic-trace collects and displays high-resolution traces of what a process is doing

Programming language for literate programming law specification

Implementations of various type systems in OCaml.

Systems language with linear types and capability-based security.

A functional programming language based on algebraic effect handlers

The Hindley Milner Type Inference Algorithm

1ML prototype interpreter

Prototype type inference engine

A Rust verification tool

OCamlPro public development repository for Alt-Ergo

a fast uniform random tree generator