Application-scale JavaScript
Build massively scalable soft real-time systems
The PHP Interpreter
Microsoft BASIC for 6502 Microprocessor
The Python programming language
Lean 4 programming language and theorem prover
Simple and flexible programming language for applications development
Odin Programming Language
The Racket repository
A programming language and an implementation of that language
GritQL is a query language for searching, linting, and modifying code
Empowering everyone to build reliable and efficient software
Development repository for the Triton language and compiler
The Flix Programming Language
The Lux Programming Language
Red is a next-generation programming language
The Ballerina Programming Language
The core OCaml system: compilers, runtime system, base libraries
High-level, high-performance dynamic language for technical computing
Functional Reactive Programming domain-specific language
Lightweight Ruby
Starlark in Go: the Starlark configuration language, implemented in Go
Agda is a dependently typed programming language
A strongly-typed language that compiles to JavaScript
Master the fundamentals and advanced features of the Go language