Lean 4 programming language and theorem prover
Lightweight Ruby
The programming language for agents
PEARL Compiler and Runtime System
Interpreter and compiler for the Seed7 programming language.
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
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