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