pqclean

Here are 3 public repositories matching this topic...

amarshat / pqc-assay

Reproducible refinement proof for unmodified PQClean ML-DSA reference C (reduce.c + forward NTT): fixed-width C -> Cryptol -> Isabelle -> FIPS 204, via a SAW + Cryptol + Isabelle pipeline.

cryptography theorem-proving formal-methods cryptol isabelle post-quantum-cryptography formal-verification saw dilithium ml-dsa fips-204 pqclean verified-cryptography

Updated Jun 25, 2026
Isabelle

issdandavis / pypqc

Sponsor

Star

Attempt to expose Wiggers and Stebila's PQClean via Python CFFI

post-quantum-cryptography portfolio-managed tier-public-sellable surface-sellable scbe-research pqclean

Updated Feb 21, 2026
C

treasonking / PQC_Project

Star

C-based PQC crypto module lab integrating ML-KEM-768 and ML-DSA-65 with unified API, CLI, tests, benchmarks, and CI.

c cryptography cmake pqc ml-kem ml-dsa pqclean

Updated Apr 25, 2026
C

Improve this page

Add a description, image, and links to the pqclean topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the pqclean topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly