Lean 4 programming language and theorem prover
The Python programming language
The programming language for agents
A TypeScript-like language for WebAssembly
Lightweight Ruby
Expert System Tool
A general-purpose, mutliparadigm language.
Interpreter and compiler for the Seed7 programming language.
The classic RPL programming language reimplemented and reimagined.
PEARL Compiler and Runtime System
Agena is an interpreted procedural programming language.
A C-like, high level programming language and interpreter.
SC is a C based meta/programming language/environment
ALFOUR Programming language. Simple, safe, power, multi-platform.
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.
All about erlang programming language [powerd by community]