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

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

Performant type-checking for python.

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

A language that compiles to Bash and Windows Batch

Unison file synchronizer

Tools for code analysis, visualizations, or style-preserving source transformation.

Pack JS code fast & easy

The fastest pixel-by-pixel image visual difference tool in the world.

Factorio Planner

An experimental programming language