Lean 4 programming language and theorem prover
Functional programming language for signal processing
Carbon Language's main repository
A Moonscript dialect compiles to Lua
PEARL Compiler and Runtime System
an object-oriented language with late binding
Simple ⇒ Object-Oriented ⇒ Functional
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
programming language for children
Programming language with expressive power and a simple implementation
Karel - 3D language interpreter
Embedded Scripting Language Designed for C++