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