Lean 4 programming language and theorem prover
The Smart Contract Programming Language
an object-oriented language with late binding
A New Programming Language for FPGA Projects
Simple and flexible programming language for applications development
Tao3D is a programming language for real-time interactive 3D
Free and Open Game Programming Language for Windows and GNU/Linux
A simple programming language for teaching language theory
A functional programming language
MPP is a C-based programming language that allows you to code more eas
Shibatch's software project