A long bet between Matthew Green and Filippo Valsorda on what will break first: ML-KEM-768 or X25519. You can join! Money goes to charity.

StarFortress: Hybrid Post-Quantum KEMs From SDH and IND-CCA

Ed's repo of Claude Code plugins, centered around a research-plan-implement workflow. Only a tiny bit cursed. If you're lucky.

A code-golfed ECDSA signature verification (P-256 curve) in x86/64 assembly

FN-DSA (Falcon) signature scheme

Python CLI that creates GitHub repos with safe defaults — branch protection, Dependabot, secret scanning, and pre-flight security scanning — applied automatically.

Toolkit for linearizing PDFs for LLM datasets/training

Simple Go server to test PQ key agreement

Paper2Agent is a multi-agent AI system that automatically transforms research papers into interactive AI agents with minimal human input.

[work in progress] Software for helping cryptographers manage game-hopping proofs in LaTeX

Runtime monitoring of formal specifications

Create beautiful slides on the web using a coding agent's frontend skills

Web server to receive uploaded LaTeX and execute it in a docker container.

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS and their customers. It іs based on code from the Google BoringSSL project and the OpenSSL project.

JDK main-line development https://openjdk.org/projects/jdk

Core cryptographic library for Windows, Azure Linux and other products

A set of increasingly complex cryptographic proofs for simple symmetric primitives, to be formalised in various formal verification tools.

Discussions for the Proof Ladder project(s)

Main presentation website of the crypto proof ladders

A set of example cryptographic proofs for simple asymmetric constructions, to be formalised in various tools.

A set of cryptographic proofs for simple protocols, to be formalised in various tools.

Dropbear SSH