Gravity Programming Language
Carbon Language's main repository
Empowering everyone to build reliable and efficient software
A data-parallel functional programming language
The Acton Programming Language
Simple, fast, safe, compiled language for developing software
Red is a next-generation programming language
Lean 4 programming language and theorem prover
Write like a high-level language, run like C
The Swift Programming Language in Chinese
The Lux Programming Language
The core OCaml system: compilers, runtime system, base libraries
A purely functional programming language with first class types
The Scala 3 compiler, also known as Dotty
The cross-platform toolkit
A programming language and an implementation of that language
Functional programming language for signal processing
The programming language for agents
Rakudo – Raku on MoarVM, JVM, and JS
A Moonscript dialect compiles to Lua
Development repository for the Triton language and compiler
An uroboros program with 100+ programming languages
an object-oriented language with late binding
The Flix Programming Language
A friendly language for building type-safe, scalable systems!