Repositories list

• mlkem-native

  Public
  High-assurance, high-performance ML-KEM implementation for mobile, pc, and server targets

  Assembly

  •

  Apache License 2.0

  •8•10•32•7•Updated Nov 11, 2024Nov 11, 2024

• tsc

  Public
  PQ Code Project Technical Steering Committee resources

  Creative Commons Attribution 4.0 International

  •4•4•24•2•Updated Nov 7, 2024Nov 7, 2024

• mlkem-c-generic

  Public archive
  ML-KEM generic implementation in C

  Apache License 2.0

  •2•2•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•2•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•14•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•1•Updated Mar 19, 2024Mar 19, 2024

• mlkem-libjade

  Public
  ML-KEM implementation in libjade with high assurance

  Apache License 2.0

  •2•1•0•1•Updated Mar 12, 2024Mar 12, 2024

• o-documentation

  Public archive
  Docs

  HTML

  •

  Creative Commons Attribution 4.0 International

  •20•0•0•0•Updated Mar 8, 2024Mar 8, 2024