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