ADP is a script language designed for Web database prgramming.
Lean 4 programming language and theorem prover
Programming Language Theory
A general-purpose, mutliparadigm language.
The programming language for agents
The Python programming language
Starlark in Go: the Starlark configuration language, implemented in Go
Expert System Tool
A TypeScript-like language for WebAssembly
Go library for Datalog-style logical reasoning and domain modeling
Lightweight Ruby
Agena is an interpreted procedural programming language.
The M.O.R.T.A.L. programming language
Interpreter and compiler for the Seed7 programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.
SC is a C based meta/programming language/environment
The classic RPL programming language reimplemented and reimagined.
A C-like, high level programming language and interpreter.
PEARL Compiler and Runtime System
Simple and flexible programming language for applications development
A modern descendant of the Icon programming language.
A New Programming Language for FPGA Projects
The open sourced NetRexx reference implementation