📖 source material for Thinking with Types
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-th...
A collaborative bibliography of work related to the theory and practice of computational effects
The Xapi Project's XenAPI Server
A composable build system for OCaml.
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
Book in preparation: introduction to theoretical computer science