Lean 4 programming language and theorem prover
A friendly language for building type-safe, scalable systems!
Low-code programming for event-driven applications
The programming language for agents
A refreshing programming language for the front-end web
Fast, small, safe, gradually typed embeddable scripting language
Dart is a client-optimized language for fast apps on any platform
The Python programming language
Build massively scalable soft real-time systems
SmallBASIC is a fast and easy to learn BASIC language interpreter
Simple, fast, safe, compiled language for developing software
The Lua development repository, as seen by the Lua team
Learn C and build your own programming language
A TypeScript-like language for WebAssembly
Application-scale JavaScript
The core OCaml system: compilers, runtime system, base libraries
New additions to the Java programming language
The PHP Interpreter
Read-only mirror of R source code
General-purpose programming language and toolchain
A static, type inferred and embeddable language written in Rust
Modern C++ Programming Course
The Perl programming language
High-level, high-performance dynamic language for technical computing
Empowering everyone to build reliable and efficient software