Lean 4 programming language and theorem prover
Lightweight Ruby
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
Arnold Schwarzenegger based programming language
Go (Golang): An open-source programming language supported by Google