Skip to content

@pq-code-package PQ Code Package

Change the repository type filter

All

    Repositories list

    12 repositories

    • mlkem-native

      Public
      High-assurance, high-performance C90 implementation of ML-KEM
      post-quantum-cryptographyml-kem
      Assembly
      •
      Apache License 2.0
      •15•31•19•8•Updated Feb 7, 2025Feb 7, 2025

    • mldsa-native

      Public
      0•0•0•0•Updated Feb 5, 2025Feb 5, 2025

    • tsc

      Public
      PQ Code Project Technical Steering Committee resources
      Creative Commons Attribution 4.0 International
      •4•4•22•3•Updated Feb 5, 2025Feb 5, 2025

    • mlkem-libjade

      Public
      ML-KEM implementation in libjade with high assurance
      Assembly
      •
      Apache License 2.0
      •3•1•0•0•Updated Dec 6, 2024Dec 6, 2024

    • mlkem-c-generic

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

    • mlkem-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
      •1•3•0•1•Updated Oct 7, 2024Oct 7, 2024

    • template-code

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

    • mlkem-c-embedded

      Public
      MLKEM implementation optimized for embedded microcontrollers
      C
      •
      Apache License 2.0
      •6•15•9•1•Updated Aug 16, 2024Aug 16, 2024

    • documentation

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

    • .github

      Public
      PQCP GitHub organization profile
      Creative Commons Attribution 4.0 International
      •1•1•0•0•Updated Jun 3, 2024Jun 3, 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