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 Scala 3 compiler, also known as Dotty
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
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
The Acton Programming Language
The Swift Programming Language in Chinese
A Moonscript dialect compiles to Lua
Red is a next-generation programming language
A friendly language for building type-safe, scalable systems!
Interpreter and compiler for the Seed7 programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.