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