Lean 4 programming language and theorem prover
New additions to the Java programming language
Checked C is an extension to C that lets programmers write C code
jsii allows code in any language to naturally interact with JavaScript
Development repository for the Triton language and compiler
Modern C++ Programming Course
The Smart Contract Programming Language
The cross-platform toolkit
The programming language for agents
The Lux Programming Language
A data-parallel functional programming language
Gravity Programming Language
The programming language for agents
An uroboros program with 100+ programming languages
Master the fundamentals and advanced features of the Go language
Wrangling Untrusted File Formats Safely
A massively parallel, high-level programming language
The language used in the AP CSP Exam, now a programming language!
A modern descendant of the Icon programming language.
Jupyter's kernel for Elixir programming language
an object-oriented language with late binding
Eclipse C/C++ MinGW MSYS2
The classic RPL programming language reimplemented and reimagined.
A New Programming Language for FPGA Projects
Action! - The Native Programming Language for Atari 8-bit Computers