Lean 4 programming language and theorem prover
New additions to the Java programming language
jsii allows code in any language to naturally interact with JavaScript
Checked C is an extension to C that lets programmers write C code
Development repository for the Triton language and compiler
The cross-platform toolkit
Modern C++ Programming Course
The Smart Contract Programming Language
A data-parallel functional programming language
Gravity Programming Language
A modern descendant of the Icon programming language.
An uroboros program with 100+ programming languages
The Lux Programming Language
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!
Jupyter's kernel for Elixir programming language
an object-oriented language with late binding
The classic RPL programming language reimplemented and reimagined.
A simple, procedural programming language.
A New Programming Language for FPGA Projects
Action! - The Native Programming Language for Atari 8-bit Computers
Simple and flexible programming language for applications development