Tool CatDat-> [6HRU]
category資料庫，可以用屬性搜尋符合條件的category
Tool π-Base: Topology [SQCG]
A community database of topological counterexamples
- https://yangzhixuan.github.io/
- https://ice1000.org/
- https://www.jonmsterling.com/
- https://www.geoffreylitt.com/
- https://szumixie.github.io/
- https://drewdevault.com/
- https://www.lukehong.tw/
- https://ghostsinthelab.org/
- https://gholk.github.io/
- https://blog.giveanornot.com/
- https://fexpr.blogspot.com/
- https://doisinkidney.com/
- https://www.iach.cc/
- https://langorigami.com/
- https://monade.li/
- https://www.marioroman.xyz/
- https://martin.kleppmann.com/
- The Raft Consensus Algorithm
- Patterns of Distributed Systems
- Algorithms by Jeff Erickson
- https://maurycyz.com/
- https://benknoble.github.io/
- https://marcushutchins.com/blog/tech/opinions/i-was-wrong-about-mastodon-moderation.html
https://klisp.org/ Kernel 是一個顯式操作 environment 的類 scheme 語言，這套設計的好處就是可以移除 phase 概念而得到只有一個執行層次的 meta programming 能力。
就我所知現在程式碼要從 https://github.com/AndresNavarro82/klisp 取得
- Formalising the Completeness Theorem of Classical Propositional Logic in Agda (Proof Pearl)
- Uxn. The virtual machine, programmable in Uxntal, is a portability layer and an attempt at crafting a comfortable amber for software that is capable of hosting a variety of small interactive graphical programs. It is powering this wiki.
Reference Grothendieck's "Foundations of Algebraic Geometry" (FGA) [1FZJ]
Grothendieck 的 Foundations of Algebraic Geometry 英文翻譯版
Reference Control structures in programming languages: From goto to algebraic effects [2OP2]
介紹程式語言中的控制結構