Lean 4 programming language and theorem prover
The language used in the AP CSP Exam, now a programming language!
A New Programming Language for FPGA Projects
The classic RPL programming language reimplemented and reimagined.
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
Arnold Schwarzenegger based programming language
A functional programming language
foundation of the General Intelligence Operating System