The Python programming language
Starlark in Go: the Starlark configuration language, implemented in Go
A TypeScript-like language for WebAssembly
Lightweight Ruby
Programming Language Theory
Lean 4 programming language and theorem prover
Go library for Datalog-style logical reasoning and domain modeling
Expert System Tool
Agena is an interpreted procedural programming language.
The classic RPL programming language reimplemented and reimagined.
Simple and flexible programming language for applications development
AQ is an interpreted programming language. It is fast, small, simple a
A general-purpose, mutliparadigm language.
The language used in the AP CSP Exam, now a programming language!
A New Programming Language for FPGA Projects
Hobby programming language for application development
ALFOUR Programming language. Simple, safe, power, multi-platform.
The M.O.R.T.A.L. programming language
The open sourced NetRexx reference implementation
An hack of Jscheme with a lot of enhancements and additional features.
PyConda is a simple, Python-based programming language.