Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
47,133 repositories indexed
1–7 of 7 · Most stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Book of Elementary Functional Algorithms and Data structures
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
The technical vision paper for Polkadot, a heterogeneous extensible multi-chain.
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
ECE 459: Programming for Performance, Winter 2015
Qurry (was) a prototype for a functional quantum programming language. It incorporated many aspects of functional programming (Haskell, Clojure), but also took standard design philosophies from C++, Python, and other "traditional" languages. [category: quantum]