Lean 4 programming language and theorem prover
Lightweight Ruby
The open sourced NetRexx reference implementation
Binary Modular DataFlow Machine (BMDFM)
Simple and flexible programming language for applications development
The Simple Intelligent and Modular Programming Language & Environment
Go (Golang): An open-source programming language supported by Google