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

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

Performant type-checking for python.

Programming language for literate programming law specification

A modern supercompiler for call-by-value functional languages

Spartan type theory