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