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 Nelson Programming Language
Carbon Language's main repository
The Swift Programming Language
The Smart Contract Programming Language
Pattern language
Audio server, programming language, and IDE for sound synthesis
Beef Programming Language
A Moonscript dialect compiles to Lua
A language for fast, portable data-parallel computation
Simple ⇒ Object-Oriented ⇒ Functional
OnixOS Arch is a Linux-based and open source distribution.
Cmajor is an experimental programming language.
Simple and flexible programming language for applications development
SC is a C based meta/programming language/environment
A New Programming Language for FPGA Projects
Eclipse C/C++ MinGW MSYS2
Custom stack-based scripting language, compiler, and bytecode VM.
an object-oriented language with late binding
ALFOUR Programming language. Simple, safe, power, multi-platform.
programming language for children