Skip to content

@pq-code-package PQ Code Package

Change the repository type filter

All

    Repositories list

    13 repositories

    • mldsa-native

      Public
      Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204
      post-quantum-cryptographyformal-verificationpost-quantum-signatureml-dsa
      Assembly
      •
      Other
      •25•34•63•19•Updated Dec 5, 2025Dec 5, 2025

    • mlkem-native

      Public
      Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
      cryptography-librarypost-quantum-cryptographyformal-verificationpost-quantum-kemml-kem
      Assembly
      •
      Other
      •38•116•37•18•Updated Dec 5, 2025Dec 5, 2025

    • tsc

      Public
      PQ Code Project Technical Steering Committee resources
      Creative Commons Attribution 4.0 International
      •4•9•6•1•Updated Dec 4, 2025Dec 4, 2025

    • mlkem-c-embedded

      Public
      MLKEM implementation optimized for embedded microcontrollers
      C
      •
      Apache License 2.0
      •10•26•10•1•Updated Dec 1, 2025Dec 1, 2025

    • slhdsa-c

      Public
      C
      •
      Other
      •4•4•14•2•Updated Dec 1, 2025Dec 1, 2025

    • rust-libcrux

      Public
      portable ML-KEM implementation with some optimizations for AVX2. Full AVX2 support will be added over the coming months. The code is formally verified for panic freedom, correctness, and secret independence in F* using the hax toolchain.
      Apache License 2.0
      •2•5•1•0•Updated Oct 2, 2025Oct 2, 2025

    • mlkem-libjade

      Public
      ML-KEM implementation in libjade with high assurance
      Assembly
      •
      Apache License 2.0
      •3•3•1•0•Updated Aug 21, 2025Aug 21, 2025

    • .github

      Public
      PQCP GitHub organization profile
      Creative Commons Attribution 4.0 International
      •2•1•0•0•Updated May 27, 2025May 27, 2025

    • mlkem-c-generic

      Public archive
      ML-KEM generic implementation in C
      Apache License 2.0
      •4•3•0•0•Updated Nov 6, 2024Nov 6, 2024

    • template-code

      Public template
      Template repo
      Apache License 2.0
      •0•0•0•0•Updated Sep 23, 2024Sep 23, 2024

    • documentation

      Public
      Project documentation built using mkdocs
      websitedocumentation
      Python
      •
      Creative Commons Attribution 4.0 International
      •2•1•2•1•Updated Jun 6, 2024Jun 6, 2024

    • pq-code-package-hackathon

      Public
      Hackathon planning and documentation
      websitedocumentationhackathon
      Apache License 2.0
      •2•3•1•0•Updated Mar 19, 2024Mar 19, 2024

    • o-documentation

      Public archive
      Docs
      HTML
      •
      Creative Commons Attribution 4.0 International
      •20•0•0•0•Updated Mar 8, 2024Mar 8, 2024