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