Lean 4 programming language and theorem prover
The programming language for agents
Lightweight Ruby
Interpreter and compiler for the Seed7 programming language.
Agena is an interpreted procedural programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.
SC is a C based meta/programming language/environment
Simple and flexible programming language for applications development
The M.O.R.T.A.L. programming language
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