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