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.
Interpreter and compiler for the Seed7 programming language.
Simple and flexible programming language for applications development
The classic RPL programming language reimplemented and reimagined.
ADP is a script language designed for Web database prgramming.
ALFOUR Programming language. Simple, safe, power, multi-platform.
Binary Modular DataFlow Machine (BMDFM)
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 modern descendant of the Icon programming language.
A New Programming Language for FPGA Projects
The Enterprise™ programming language