Programming Language Theory
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
Agena is an interpreted procedural programming language.
ADP is a script language designed for Web database prgramming.
Expert System Tool
A general-purpose, mutliparadigm language.
The M.O.R.T.A.L. programming language
Interpreter and compiler for the Seed7 programming language.
SC is a C based meta/programming language/environment
A modern descendant of the Icon programming language.
A C-like, high level programming language and interpreter.
ALFOUR Programming language. Simple, safe, power, multi-platform.
A New Programming Language for FPGA Projects
Simple and flexible programming language for applications development
PEARL Compiler and Runtime System
The classic RPL programming language reimplemented and reimagined.
The open sourced NetRexx reference implementation
An hack of Jscheme with a lot of enhancements and additional features.