Lean 4 programming language and theorem prover
Lightweight Ruby
Interpreter and compiler for the Seed7 programming language.
SC is a C based meta/programming language/environment
A modern descendant of the Icon programming language.
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
A BASIC interpreter and compiler with graphics.
A low-level system programming language with high-level syntax
List of practical projects that anyone can solve in any prog language
Tao3D is a programming language for real-time interactive 3D
Dataflow parallel programming language for clusters
scientific programming language and graphics
COIL:A Programming Language made by Teens for Teens(ikr)
Frost Programming Language Interpreter