The PHP Interpreter
A TypeScript-like language for WebAssembly
Application-scale JavaScript
Lean 4 programming language and theorem prover
Build massively scalable soft real-time systems
A friendly language for building type-safe, scalable systems!
A refreshing programming language for the front-end web
The Racket repository
The open sourced NetRexx reference implementation