Lean 4 programming language and theorem prover
Expert System Tool
The classic RPL programming language reimplemented and reimagined.
Simple and flexible programming language for applications development
The language used in the AP CSP Exam, now a programming language!
ALFOUR Programming language. Simple, safe, power, multi-platform.
Programming language with expressive power and a simple implementation
List of practical projects that anyone can solve in any prog language
Micro Programming Language - A Portable Language for Micro Computers
A service-oriented programming language.