Lightweight Ruby
Lean 4 programming language and theorem prover
Binary Modular DataFlow Machine (BMDFM)
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
Interpreter and compiler for the Seed7 programming language.
A New Programming Language for FPGA Projects
A BASIC interpreter and compiler with graphics.
dependently typed functional programming language