Tags

A cross-section of the site by topic: projects, writeups, and directory entries grouped by the ideas they share.

Topics

rust 5 math 4 cli 2 developer-tools 2 formal-verification 2 lean4 2 mcp 2 metadata 2 number-theory 2 protocol 2 wasm 2 algebra 1 algorithms 1 compression 1 computational-math 1 dependent-types 1 fractals 1 geometry 1 microkernel 1 os 1 physics 1 ries 1 systems 1 theorem-proving 1 web-history 1