Lean 4 programming language and theorem prover
A functional, systems programming language with linear types
SmallBASIC is a fast and easy to learn BASIC language interpreter
Lightweight Ruby
High-level, high-performance dynamic language for technical computing
a Lua-like syntax programming language
Dyalect is a programming language for .NET Core
The core software distribution for the Inform 7 programming language
Tao3D is a programming language for real-time interactive 3D
A dynamic language for system programming (LuaJIT fork)
Real-time audio synthesis engine and music programming language
scientific programming language and graphics