📖 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