📖 source material for Thinking with Types
Post-quantum cryptography in Go
Post-quantum cryptography in Rust
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...
This book will be an undergraduate textbook written in the univalent style, taking advantage of t...
Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"
The Xapi Project's XenAPI Server
