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