03 / Projects
Mission Archives
Every public repository in one index. Rows are ordered by how far the source has been read, not by stars: a dossier row speaks for itself, and anything else GitHub returns is listed in GitHub’s own words.
How to read this index
- Case study
- Read through the source, with a case study on this site: problem, decision, path through the code, what is verified and where it stops short.
- Source read
- Read through the source: what is in the tree, and what only the README claims.
- First read
- Read once, far enough to say what is there and what is missing.
No dossier: listed with the description GitHub carries, and no engineering area claimed.
Loading projects from GitHub…