Deep universal probabilistic programming with Python and PyTorch
High-level, high-performance dynamic language for technical computing
Development repository for the Triton language and compiler
A massively parallel, high-level programming language
Pattern language
The core OCaml system: compilers, runtime system, base libraries
An uroboros program with 100+ programming languages
The Acton Programming Language
Simple and flexible programming language for applications development
Karel - 3D language interpreter
A probabilistic programming language in TensorFlow