Lean 4 programming language and theorem prover
The Python programming language
Lightweight Ruby
The programming language for agents
A TypeScript-like language for WebAssembly
Expert System Tool
Agena is an interpreted procedural programming language.
Interpreter and compiler for the Seed7 programming language.
The classic RPL programming language reimplemented and reimagined.
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
A C-like, high level programming language and interpreter.
SC is a C based meta/programming language/environment
A modern descendant of the Icon programming language.
PEARL Compiler and Runtime System
Binary Modular DataFlow Machine (BMDFM)
A general-purpose, mutliparadigm language.
A New Programming Language for FPGA Projects
A BASIC interpreter and compiler with graphics.