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 crystal programming language
The Scala 3 compiler, also known as Dotty
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
The programming language for agents
Simple, fast, safe, compiled language for developing software
The Flix Programming Language
Lightweight Ruby
The Acton Programming Language
The Swift Programming Language in Chinese
A Moonscript dialect compiles to Lua
Checked C is an extension to C that lets programmers write C code
Red is a next-generation programming language