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