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 formal-verification 2 lean4 2 number-theory 2 wasm 2 algebra 1 algorithms 1 compression 1 computational-math 1 dependent-types 1 developer-tools 1 fractals 1 geometry 1 mcp 1 metadata 1 microkernel 1 os 1 physics 1 protocol 1 ries 1 systems 1 theorem-proving 1 web-history 1