Lean 4 programming language and theorem prover
Lightweight Ruby
The programming language for agents
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple and flexible programming language for applications development
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