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