Lean 4 programming language and theorem prover
Lightweight Ruby
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
A low-level system programming language with high-level syntax
List of practical projects that anyone can solve in any prog language
COIL:A Programming Language made by Teens for Teens(ikr)