Lean 4 programming language and theorem prover
OnixOS Arch is a Linux-based and open source distribution.
Custom stack-based scripting language, compiler, and bytecode VM.
ALFOUR Programming language. Simple, safe, power, multi-platform.
Programming language with expressive power and a simple implementation
The programming language for begginers.
Run Programming Language
MPP is a C-based programming language that allows you to code more eas