Lean 4 programming language and theorem prover
Fast, small, safe, gradually typed embeddable scripting language
The Swift Programming Language
The Smart Contract Programming Language
Functional programming language for signal processing
Beef Programming Language
Audio server, programming language, and IDE for sound synthesis
Empowering everyone to build reliable and efficient software
A language for fast, portable data-parallel computation
Carbon Language's main repository
Pattern language
A Moonscript dialect compiles to Lua
Master the fundamentals and advanced features of the Go language
The Racket repository
Cmajor is an experimental programming language.
OnixOS Arch is a Linux-based and open source distribution.
an object-oriented language with late binding
Coroutines for Delphi and Free Pascal
FreeBasic plus WX-C codes for XRC file
Simple ⇒ Object-Oriented ⇒ Functional
A New Programming Language for FPGA Projects
PEARL Compiler and Runtime System
SC is a C based meta/programming language/environment
Binary Modular DataFlow Machine (BMDFM)
Simple and flexible programming language for applications development