The Python programming language
Lean 4 programming language and theorem prover
Starlark in Go: the Starlark configuration language, implemented in Go
Lightweight Ruby
A TypeScript-like language for WebAssembly
Go library for Datalog-style logical reasoning and domain modeling
Programming Language Theory
Expert System Tool
Agena is an interpreted procedural programming language.
Interpreter and compiler for the Seed7 programming language.
Simple and flexible programming language for applications development
The classic RPL programming language reimplemented and reimagined.
ALFOUR Programming language. Simple, safe, power, multi-platform.
ADP is a script language designed for Web database prgramming.
A modern descendant of the Icon programming language.
An hack of Jscheme with a lot of enhancements and additional features.
The open sourced NetRexx reference implementation
A general-purpose, mutliparadigm language.
The M.O.R.T.A.L. programming language
A New Programming Language for FPGA Projects
Binary Modular DataFlow Machine (BMDFM)
The Enterprise™ programming language