A TypeScript-like language for WebAssembly
The Python programming language
Lean 4 programming language and theorem prover
Starlark in Go: the Starlark configuration language, implemented in Go
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.
Interpreter and compiler for the Seed7 programming language.
The classic RPL programming language reimplemented and reimagined.
ADP is a script language designed for Web database prgramming.
Simple and flexible programming language for applications development
ALFOUR Programming language. Simple, safe, power, multi-platform.
A modern descendant of the Icon programming language.
A general-purpose, mutliparadigm language.
The open sourced NetRexx reference implementation
A New Programming Language for FPGA Projects
The M.O.R.T.A.L. programming language
An hack of Jscheme with a lot of enhancements and additional features.
The Enterprise™ programming language