Lightweight Ruby
Lean 4 programming language and theorem prover
Simple and flexible programming language for applications development
An hack of Jscheme with a lot of enhancements and additional features.
The open sourced NetRexx reference implementation
A New Programming Language for FPGA Projects
dependently typed functional programming language