Low-code programming for event-driven applications
Set of Python modules designed for writing video games
High-level, high-performance dynamic language for technical computing
A programming language and an implementation of that language
The Lua development repository, as seen by the Lua team
A friendly language for building type-safe, scalable systems!
The Acton Programming Language
Odin Programming Language
A friendly programming language from the future
Lightweight Ruby
A language that compiles to Lua
Build massively scalable soft real-time systems
Lean 4 programming language and theorem prover
New additions to the Java programming language
The core OCaml system: compilers, runtime system, base libraries
Functional Reactive Programming domain-specific language
Agda is a dependently typed programming language
The Perl programming language
The Flix Programming Language
Empowering everyone to build reliable and efficient software
The crystal programming language
Checked C is an extension to C that lets programmers write C code
Starlark in Go: the Starlark configuration language, implemented in Go
The Lux Programming Language
Functional programming language for signal processing