Lean 4 programming language and theorem prover
A friendly programming language from the future
wwwBASIC is an implementation of BASIC that runs on Node.js & the Web
Ruby programming language
General-purpose programming language and toolchain
A modern programming language which compiles to Fortran.
Programming Language Theory
The Python programming language
Compiler for Clojure that targets JavaScript
Action! - The Native Programming Language for Atari 8-bit Computers
Intel SPMD Program Compiler
The crystal programming language
The PHP Interpreter
The Lua development repository, as seen by the Lua team
The home of the CUE language. Validate and define text-based config
Agda is a dependently typed programming language
Write like a high-level language, run like C
Tools like web browser, computer access and code runner for LLMs
Set of Python modules designed for writing video games
The Racket repository
Jeltz glue programming language, minimal functional, easily embeddable
A general-purpose, mutliparadigm language.
Odin Programming Language
A functional, systems programming language with linear types
Status, process, and documents for ECMA-262