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

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

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

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

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

Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.