Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Post-quantum cryptography for CHERIoT

Poly/ML

ML-KEM in WebAssembly

Verification infrastructure for the Isabelle/HOL interactive proof assistant

A requirements traceability tool

The Github Action for the Determinate Nix Installer

Source code for "Building Cryptographic Proofs from Hash Functions"

EasyCrypt: Computer-Aided Cryptographic Proofs

Minimal implementation of ECDH & ECDSA on NIST P-256 for 32-bit micro-controllers

The HOL Light theorem prover

Google's Operations Research tools:

Armv8 Native Code Symbolic Simulator in Lean

Highly optimized curve25519 assembler for AArch64

Assembly super-optimization via constraint solving