Lean 4 programming language and theorem prover
The Smart Contract Programming Language
Intel SPMD Program Compiler
A code generator for connecting C/C++ with other programming languages
mlpack: a scalable C++ machine learning library
inputbox password WIN OSX GTK QT Console VCPKG C# Lua R Fortran Pascal
Simple and flexible programming language for applications development
A language for making art using mathematics
WebAssembly from Scratch: From FizzBuzz to DooM
C++ reflection library with Lua binding, and JSON and XML
An object-oriented script language to embed in any application
a Productive Parallel Programming Language
The programming language for begginers.
Dataflow parallel programming language for clusters