A friendly language for building type-safe, scalable systems!
The Lua development repository, as seen by the Lua team
Jupyter's kernel for Elixir programming language
Lightweight Ruby
The Lux Programming Language
High-level, high-performance dynamic language for technical computing
Gravity Programming Language
The Smart Contract Programming Language
Lean 4 programming language and theorem prover
Rakudo – Raku on MoarVM, JVM, and JS
The Acton Programming Language
Development repository for the Triton language and compiler
Prompt Declaration Language is a declarative prompt programming lang
The core OCaml system: compilers, runtime system, base libraries
A programming language and an implementation of that language
Binary Modular DataFlow Machine (BMDFM)
an object-oriented language with late binding
Simple ⇒ Object-Oriented ⇒ Functional
Simple and flexible programming language for applications development
An hack of Jscheme with a lot of enhancements and additional features.
The open sourced NetRexx reference implementation
Interpreter and compiler for the Seed7 programming language.
Avocado Polish programming language
A New Programming Language for FPGA Projects
a self-contained development environment for embedded systems.