Lean 4 programming language and theorem prover
Lightweight Ruby
The programming language for agents
Interpreter and compiler for the Seed7 programming language.
PEARL Compiler and Runtime System
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple and flexible programming language for applications development
SC is a C based meta/programming language/environment
A BASIC interpreter and compiler with graphics.
Programming language with expressive power and a simple implementation
A low-level system programming language with high-level syntax
Micro Programming Language - A Portable Language for Micro Computers