A language for fast, portable data-parallel computation
Lean 4 programming language and theorem prover
Audio server, programming language, and IDE for sound synthesis
The Smart Contract Programming Language
Simple ⇒ Object-Oriented ⇒ Functional
PEARL Compiler and Runtime System
ALFOUR Programming language. Simple, safe, power, multi-platform.
Eclipse C/C++ MinGW MSYS2
Binary Modular DataFlow Machine (BMDFM)