📖 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
@cim1985 好 happy 啊,一年后还招的话我就过去
github 又一个不错的产品。
这个要看场合了。
那个 saas 课程没学完
mark,下次一定要找个文艺些的公司
我比较符合条件。哇卡卡!
汗颜啊
要坚持看啊
嗯,jokry 的提议不错。