A type-centred purely functional programming language designed to type binary files. Mirror of code maintained at gitlab.com.

A massively parallel, high-level programming language

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

The Mojo Programming Language