Set of Python modules designed for writing video games
Build massively scalable soft real-time systems
The Perl programming language
The core OCaml system: compilers, runtime system, base libraries
Lean 4 programming language and theorem prover
Lightweight Ruby
Agda is a dependently typed programming language
A friendly language for building type-safe, scalable systems!
a self-contained development environment for embedded systems.
Dyalect is a programming language for .NET Core
The core software distribution for the Inform 7 programming language