Development repository for the Triton language and compiler
Lean 4 programming language and theorem prover
Simple and flexible programming language for applications development
The Smart Contract Programming Language
OnixOS Arch is a Linux-based and open source distribution.
Custom stack-based scripting language, compiler, and bytecode VM.
Alexscript Polish programming language
An experimental programming language for data flow
Lint your CoffeeScript