A friendly language for building type-safe, scalable systems!
ArkScript is a small, fast, functional and scripting language for C++
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
Rakudo – Raku on MoarVM, JVM, and JS
Lean 4 programming language and theorem prover
The Acton Programming Language
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)
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.
A New Programming Language for FPGA Projects
a self-contained development environment for embedded systems.
Dyalect is a programming language for .NET Core
The core software distribution for the Inform 7 programming language
A BASIC interpreter and compiler with graphics.