The Python programming language
Lean 4 programming language and theorem prover
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
Interpreter and compiler for the Seed7 programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.
A modern descendant of the Icon programming language.
SC is a C based meta/programming language/environment
A C-like, high level programming language and interpreter.
Binary Modular DataFlow Machine (BMDFM)
A general-purpose, mutliparadigm language.
A New Programming Language for FPGA Projects
PEARL Compiler and Runtime System
A BASIC interpreter and compiler with graphics.