Lean 4 programming language and theorem prover
The programming language for agents
Lightweight Ruby
PEARL Compiler and Runtime System
Interpreter and compiler for the Seed7 programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.
Simple and flexible programming language for applications development
SC is a C based meta/programming language/environment
A BASIC interpreter and compiler with graphics.
Programming language with expressive power and a simple implementation
A low-level system programming language with high-level syntax
Micro Programming Language - A Portable Language for Micro Computers
Arnold Schwarzenegger based programming language
Go (Golang): An open-source programming language supported by Google