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