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