A modern programming language which compiles to Fortran.
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
General-purpose programming language and toolchain
An uroboros program with 100+ programming languages
Ruby programming language
Action! - The Native Programming Language for Atari 8-bit Computers
Programming Language Theory
The home of the CUE language. Validate and define text-based config
An effort to write a modern, fast, and useful operating system
The Python programming language
A functional, systems programming language with linear types
Jeltz glue programming language, minimal functional, easily embeddable
Intel SPMD Program Compiler
Compiler for Clojure that targets JavaScript
The Lua development repository, as seen by the Lua team
The PHP Interpreter
Write like a high-level language, run like C
Agda is a dependently typed programming language
A general-purpose, mutliparadigm language.
Set of Python modules designed for writing video games
The Lux Programming Language
Tools like web browser, computer access and code runner for LLMs
The AI framework that adds the engineering to prompt engineering