Lean 4 programming language and theorem prover
New additions to the Java programming language
High-level, high-performance dynamic language for technical computing
Set of Python modules designed for writing video games
Checked C is an extension to C that lets programmers write C code
Modern C++ Programming Course
Development repository for the Triton language and compiler
Fast, small, safe, gradually typed embeddable scripting language
The PHP Interpreter
The cross-platform toolkit
Low-code programming for event-driven applications
The programming language for agents
Application-scale JavaScript
The Python programming language
Build massively scalable soft real-time systems
The Lua development repository, as seen by the Lua team
The Smart Contract Programming Language
A massively parallel, high-level programming language
Wrangling Untrusted File Formats Safely
jsii allows code in any language to naturally interact with JavaScript
Empowering everyone to build reliable and efficient software
A strongly-typed language that compiles to JavaScript
Master the fundamentals and advanced features of the Go language
The Lux Programming Language
SmallBASIC is a fast and easy to learn BASIC language interpreter