Lean 4 programming language and theorem prover
Fast, small, safe, gradually typed embeddable scripting language
Odin Programming Language
Functional programming language for signal processing
The Swift Programming Language
The Smart Contract Programming Language
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
A language for fast, portable data-parallel computation
Beef Programming Language
Pattern language
Cmajor is an experimental programming language.
Eclipse C/C++ MinGW MSYS2
Custom stack-based scripting language, compiler, and bytecode VM.
OnixOS Arch is a Linux-based and open source distribution.
Coroutines for Delphi and Free Pascal
SC is a C based meta/programming language/environment
an object-oriented language with late binding
Simple and flexible programming language for applications development
PEARL Compiler and Runtime System
Binary Modular DataFlow Machine (BMDFM)
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple ⇒ Object-Oriented ⇒ Functional