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