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

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

Performant type-checking for python.

A language that compiles to Bash and Windows Batch

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

Programming language for literate programming law specification

extprot: extensible binary protocols for cross-language communication and long-term serialization