Lean 4 programming language and theorem prover
Fast, small, safe, gradually typed embeddable scripting language
The Swift Programming Language
Odin Programming Language
Functional programming language for signal processing
A language for fast, portable data-parallel computation
Audio server, programming language, and IDE for sound synthesis
The Smart Contract Programming Language
Carbon Language's main repository
ArkScript is a small, fast, functional and scripting language for C++
Beef Programming Language
Pattern language
A Moonscript dialect compiles to Lua
Cmajor is an experimental programming language.
OnixOS Arch is a Linux-based and open source distribution.
Simple and flexible programming language for applications development
Simple ⇒ Object-Oriented ⇒ Functional
an object-oriented language with late binding
ALFOUR Programming language. Simple, safe, power, multi-platform.
Eclipse C/C++ MinGW MSYS2
Coroutines for Delphi and Free Pascal
SC is a C based meta/programming language/environment
PEARL Compiler and Runtime System
Binary Modular DataFlow Machine (BMDFM)
Custom stack-based scripting language, compiler, and bytecode VM.