Gravity Programming Language
Rakudo – Raku on MoarVM, JVM, and JS
The core OCaml system: compilers, runtime system, base libraries
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 crystal programming language
The Scala 3 compiler, also known as Dotty
A data-parallel functional programming language
Development repository for the Triton language and compiler
Empowering everyone to build reliable and efficient software
A programming language and an implementation of that language
Write like a high-level language, run like C
Functional programming language for signal processing
Repository for the book "Crafting Interpreters"
Carbon Language's main repository
Python implementation for microcontrollers and constrained systems
The programming language for agents
The Flix Programming Language
Lightweight Ruby
Simple, fast, safe, compiled language for developing software
An uroboros program with 100+ programming languages
The Acton Programming Language
The Swift Programming Language in Chinese