The ultimate polyglot programming experience
Set of Python modules designed for writing video games
Lean 4 programming language and theorem prover
The PHP Interpreter
A friendly programming language from the future
The Perl programming language
The Python programming language
Read-only mirror of R source code
The Swift Programming Language
Modern C++ Programming Course
The Racket repository
The core OCaml system: compilers, runtime system, base libraries
ArkScript is a small, fast, functional and scripting language for C++
Scala based HDL
Audio server, programming language, and IDE for sound synthesis
A massively parallel, high-level programming language
Lightweight Ruby
Write like a high-level language, run like C
Agda is a dependently typed programming language
A friendly language for building type-safe, scalable systems!
Master the fundamentals and advanced features of the Go language
Programming Language Theory
Deep universal probabilistic programming with Python and PyTorch
a self-contained development environment for embedded systems.
Dyalect is a programming language for .NET Core