Lean 4 programming language and theorem prover
Lightweight Ruby
Starlark in Go: the Starlark configuration language, implemented in Go
The programming language for agents
Binary Modular DataFlow Machine (BMDFM)
Expert System Tool
Interpreter and compiler for the Seed7 programming language.
ALFOUR Programming language. Simple, safe, power, multi-platform.
The classic RPL programming language reimplemented and reimagined.
A modern descendant of the Icon programming language.
Simple and flexible programming language for applications development
PEARL Compiler and Runtime System
An hack of Jscheme with a lot of enhancements and additional features.
A BASIC interpreter and compiler with graphics.
Programming language with expressive power and a simple implementation
A low-level system programming language with high-level syntax
Tao3D is a programming language for real-time interactive 3D
The Simple Intelligent and Modular Programming Language & Environment
Real-time audio synthesis engine and music programming language
A game engine written in the D programming language