📖 source material for Thinking with Types
SimpleX - the first messaging network operating without user identifiers of any kind - 100% priva...
https://conf.researchr.org/details/icfp-splash-2025/icfp-splash-2025-tutorials/5/A-guided-tour-th...
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
A collaborative bibliography of work related to the theory and practice of computational effects
The Xapi Project's XenAPI Server
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
Home of the Xapi-project docs site
