Lean 4 programming language and theorem prover
The programming language for agents
The Python programming language
A TypeScript-like language for WebAssembly
Starlark in Go: the Starlark configuration language, implemented in Go
The language used in the AP CSP Exam, now a programming language!
Lightweight Ruby
Go library for Datalog-style logical reasoning and domain modeling
Programming Language Theory
Expert System Tool
Agena is an interpreted procedural programming language.
The classic RPL programming language reimplemented and reimagined.
A New Programming Language for FPGA Projects
The open sourced NetRexx reference implementation
Simple and flexible programming language for applications development
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.
The M.O.R.T.A.L. programming language
An hack of Jscheme with a lot of enhancements and additional features.
Hobby programming language for application development