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
A general-purpose, mutliparadigm language.
The classic RPL programming language reimplemented and reimagined.
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
PEARL Compiler and Runtime System
A C-like, high level programming language and interpreter.
Simple and flexible programming language for applications development
A modern descendant of the Icon programming language.
A New Programming Language for FPGA Projects
A BASIC interpreter and compiler with graphics.
Programming language with expressive power and a simple implementation