Lean 4 programming language and theorem prover
The Python programming language
Lightweight Ruby
A TypeScript-like language for WebAssembly
The programming language for agents
Expert System Tool
Agena is an interpreted procedural programming language.
The classic RPL programming language reimplemented and reimagined.
Simple and flexible programming language for applications development
AQ is an interpreted programming language. It is fast, small, simple a
ALFOUR Programming language. Simple, safe, power, multi-platform.
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)