Lean 4 programming language and theorem prover
A modern descendant of the Icon programming language.
The classic RPL programming language reimplemented and reimagined.
A New Programming Language for FPGA Projects
Simple and flexible programming language for applications development
The Enterprise™ programming language
Welcome to the future of programming languages
All about erlang programming language [powerd by community]
List of practical projects that anyone can solve in any prog language
Tao3D is a programming language for real-time interactive 3D
Arnold Schwarzenegger based programming language
A functional programming language
foundation of the General Intelligence Operating System