The Lua development repository, as seen by the Lua team
The Lux Programming Language
A Moonscript dialect compiles to Lua
A language that compiles to Lua
The cross-platform toolkit
Fast, small, safe, gradually typed embeddable scripting language
Gravity Programming Language
The core OCaml system: compilers, runtime system, base libraries
Rakudo – Raku on MoarVM, JVM, and JS
Lean 4 programming language and theorem prover
The crystal programming language
A purely functional programming language with first class types
The Scala 3 compiler, also known as Dotty
Write like a high-level language, run like C
Empowering everyone to build reliable and efficient software
Development repository for the Triton language and compiler
Functional programming language for signal processing
Repository for the book "Crafting Interpreters"
The Flix Programming Language
A programming language and an implementation of that language
The programming language for agents
The Acton Programming Language
Carbon Language's main repository
A friendly language for building type-safe, scalable systems!
Simple, fast, safe, compiled language for developing software