A massively parallel, high-level programming language

Awesome Roc

Next Generation Visual Programming System

A massively parallel, optimal functional runtime in Rust

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Compiler front-end foundation technology.

Darklang main repo, including language, backend, and infra

HVM3

Lean 4 programming language and theorem prover

A programming language with static memory management based on λ-calculus