Lean 4 programming language and theorem prover
The Python programming language
Lightweight Ruby
Programming Language Theory
A New Programming Language for FPGA Projects
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple and flexible programming language for applications development
Programming language with expressive power and a simple implementation
Micro Programming Language - A Portable Language for Micro Computers
A functional programming language
Go (Golang): An open-source programming language supported by Google