The Perl programming language
A friendly language for building type-safe, scalable systems!
Empowering everyone to build reliable and efficient software
Set of Python modules designed for writing video games
Low-code programming for event-driven applications
Python implementation for microcontrollers and constrained systems
A data-parallel functional programming language
Lean 4 programming language and theorem prover
Simple and flexible programming language for applications development
GritQL is a query language for searching, linting, and modifying code
The core OCaml system: compilers, runtime system, base libraries
Agda is a dependently typed programming language
Beef Programming Language
Lightweight Ruby
A programming language and an implementation of that language
Build massively scalable soft real-time systems
A dialect of Lisp that's embedded in Python
The Lux Programming Language
A massively parallel, high-level programming language
The Flix Programming Language
The Acton Programming Language
Checked C is an extension to C that lets programmers write C code
Gravity Programming Language
The programming language for agents
Red is a next-generation programming language