Lean 4 programming language and theorem prover
Fast, small, safe, gradually typed embeddable scripting language
A language for fast, portable data-parallel computation
Carbon Language's main repository
The Smart Contract Programming Language
Odin Programming Language
ArkScript is a small, fast, functional and scripting language for C++
Pattern language
Audio server, programming language, and IDE for sound synthesis
A Moonscript dialect compiles to Lua
Functional programming language for signal processing
Beef Programming Language
an object-oriented language with late binding
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
Cmajor is an experimental programming language.
Eclipse C/C++ MinGW MSYS2
Coroutines for Delphi and Free Pascal
Simple ⇒ Object-Oriented ⇒ Functional
A New Programming Language for FPGA Projects
Binary Modular DataFlow Machine (BMDFM)
programming language for children
A language for making art using mathematics