The Python programming language
Lean 4 programming language and theorem prover
The programming language for agents
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
Lightweight Ruby
Agena is an interpreted procedural programming language.
Expert System Tool
ALFOUR Programming language. Simple, safe, power, multi-platform.
The classic RPL programming language reimplemented and reimagined.
The open sourced NetRexx reference implementation
Simple and flexible programming language for applications development
AQ is an interpreted programming language. It is fast, small, simple a
An hack of Jscheme with a lot of enhancements and additional features.
A general-purpose, mutliparadigm language.
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!
A New Programming Language for FPGA Projects