Lean 4 programming language and theorem prover
The Python programming language
The programming language for agents
Lightweight Ruby
A TypeScript-like language for WebAssembly
Expert System Tool
The classic RPL programming language reimplemented and reimagined.
Agena is an interpreted procedural programming language.
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
AQ is an interpreted programming language. It is fast, small, simple a
A general-purpose, mutliparadigm language.
A New Programming Language for FPGA Projects
Programming language with expressive power and a simple implementation
A low-level system programming language with high-level syntax
The Simple Intelligent and Modular Programming Language & Environment
Micro Programming Language - A Portable Language for Micro Computers
A functional programming language
COIL:A Programming Language made by Teens for Teens(ikr)