- Coders at Work
- Messy
- Release it!
- Game Engine Black Book
- Twelve Steps to a Compassionate Life
- Writing Without Bullshit
- Programming Rust
- Google SRE Book
- High Performance Network Browsing
- Probability For the Enthusiastic Beginner
- Type Theory and Formal Proof
- Systems Performance
- More OCaml
- Thinking Fast and Slow
- Euler's Gem
- Letters from a Stoic
- Rumi poems
- To Mock a Mockingbird
- Book of Abstract Algebra
- Godel, Escher, Bach
- Book of Proof
- Pearls of Functional Algorithm Design
- Practical Foundations for Programming Languages
- Type-Driven Development with Idris
- Types and Programming Languages
- The Linux Programming Interface
- Category theory in context
- Lion's Unix Commentary
- Architecture of Open Source Software
- Liquid Haskell book
- The Lazy Logicians Guide to Linear Logic
- Solaris to Linux Migration
- Oleg Kieselyov Articles
- 2010 Haskell Spec
- Rust by Example
- GHC User's Guide
- LLVM Tutorial (both on site and llvm-hs-kaleidescope repo)
- Let's Build a Simple DB!
- Interactive Tutorial of Sequent Calculus
- RealWorld examples source code
- glambda source code
- sixten source code
- Typeclassopedia