Starred repositories
Systems language with linear types and capability-based security.
💥💻💥 A data-parallel functional programming language
Flexible and extensible interpolation for Haskell
Beautiful diagnostic reporting for text-based programming languages.
A purely functional programming language with first class types
Lightweight object-oriented and functional programming language. Designed to be intuitive, small, cross-platform, and fast. The language emphasizes portability, scalability, and robust API support.
Kernel 4.2.6-301.fc23.x86_64
Highfield's Inmos T414/T800 transputer emulator to run the Inmos Occam 2 Toolset.
A modern Prolog implementation written mostly in Rust.