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
The Swift Programming Language
Carbon Language's main repository
The Smart Contract Programming Language
Audio server, programming language, and IDE for sound synthesis
Pattern language
Beef Programming Language
A Moonscript dialect compiles to Lua
A language for fast, portable data-parallel computation
OnixOS Arch is a Linux-based and open source distribution.
Simple ⇒ Object-Oriented ⇒ Functional
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
Cmajor is an experimental programming language.
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
programming language for children