Jargon from the functional programming world in simple terms
Lean 4 programming language and theorem prover
Programming explanation and instruction book focusing on Go syntax
Compiler for Clojure that targets JavaScript
An effort to write a modern, fast, and useful operating system
an object-oriented language with late binding
An uroboros program with 100+ programming languages
A modern programming language which compiles to Fortran.
ADP is a script language designed for Web database prgramming.
Objeck is a modern object-oriented programming language
wwwBASIC is an implementation of BASIC that runs on Node.js & the Web
Programming Language Theory
Ruby programming language
The programming language for agents
The Python programming language
The PHP Interpreter
Write like a high-level language, run like C
The home of the CUE language. Validate and define text-based config
General-purpose programming language and toolchain
Jeltz glue programming language, minimal functional, easily embeddable
Action! - The Native Programming Language for Atari 8-bit Computers
A general-purpose, mutliparadigm language.
The Lua development repository, as seen by the Lua team
A functional, systems programming language with linear types