Stars
Assembly super-optimization via constraint solving
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
Version of qt-Pegasis working with Fp-arithmetic only by using Dartois and Duparc's formulae.
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.
A Rust ML-KEM (FIPS 203) implementation for beautiful, secure code.
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
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
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
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.