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