Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
- haskell
- category-theory
- functional-programming
68,261 visible repositories in the index
1–18 of 18 · Most stars
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
Book of Elementary Functional Algorithms and Data structures
Open Source Introductory Systems Programming Textbook for the University of Illinois
Competitive Programmer's Handbook
:necktie: A collection of cv and resume templates written in LaTeX. Leave an issue if your language is not supported!
Advanced R: a book
Procedurally generated Delft-blue floral page margins for LuaLaTeX, with plants and visitors sampled from genomes and a TikZ library that also draws them under pdfLaTeX
Best Current Practices regarding secure online communication and configuration of services using cryptography.
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
Book source for Controls Engineering in the FIRST Robotics Competition
A typographically elegant, clean, and structured LaTeX template.
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
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"
Learn Prolog Now LaTeX sources
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]