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

Tidy, feature-complete Web framework

A statically-typed, functional typesetting system

Concurrent Programming with Effect Handlers

Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.

Heterogeneously-typed lists for OCaml

A static analysis of the network communication of programs in a synchronous subset of Go