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