Post-quantum cryptography · machine-checked proofs · privacy & opsec tooling
Built live from the GitHub API. Each card carries the project's own description, a README snippet, its site, and the latest release download — plus an optional in-browser AI summary generated by an open-source model running entirely on your device.