The Python programming language
Starlark in Go: the Starlark configuration language, implemented in Go
Lean 4 programming language and theorem prover
Programming Language Theory
A general-purpose, mutliparadigm language.
Expert System Tool
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.
AQ is an interpreted programming language. It is fast, small, simple a
The M.O.R.T.A.L. programming language
ALFOUR Programming language. Simple, safe, power, multi-platform.
The classic RPL programming language reimplemented and reimagined.
Hobby programming language for application development
Simple and flexible programming language for applications development
The language used in the AP CSP Exam, now a programming language!
The open sourced NetRexx reference implementation
A New Programming Language for FPGA Projects
An hack of Jscheme with a lot of enhancements and additional features.
PyConda is a simple, Python-based programming language.
The Enterprise™ programming language