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