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