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++
The Smart Contract Programming Language
Carbon Language's main repository
The Swift Programming Language
Odin Programming Language
Audio server, programming language, and IDE for sound synthesis
Functional programming language for signal processing
Beef Programming Language
A Moonscript dialect compiles to Lua
A language for fast, portable data-parallel computation
Pattern language
Cmajor is an experimental programming language.
OnixOS Arch is a Linux-based and open source distribution.
Simple ⇒ Object-Oriented ⇒ Functional
Coroutines for Delphi and Free Pascal
an object-oriented language with late binding
PEARL Compiler and Runtime System
Binary Modular DataFlow Machine (BMDFM)
A New Programming Language for FPGA Projects
Eclipse C/C++ MinGW MSYS2
SC is a C based meta/programming language/environment
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.