pq-code-package

Building high-assurance implementations of post-quantum cryptography algorithms

Pinned Repositories

.github
PQCP GitHub organization profile
1 11 11
documentation
Project documentation built using mkdocs
Language:Python1 2 11
mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
Language:C3 5 45
mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
Language:C11 6 125
mlkem-c-generic
ML-KEM generic implementation in C
1 5 02
mlkem-libjade
ML-KEM implementation in libjade with high assurance
1 6 02
mlkem-rust-libcrux
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.
1 5 01
pq-code-package-hackathon
Hackathon planning and documentation
2 3 172
template-code
Template for creating code repositories, with basic file setup included
1 2 01
tsc
PQ Code Project Technical Steering Committee resources
4 12 414

pq-code-package/mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
Language:C11 6 125
pq-code-package/tsc
PQ Code Project Technical Steering Committee resources
4 12 414
pq-code-package/mlkem-c-aarch64
ML-KEM implementation optimized for aarch64
Language:C3 5 45
pq-code-package/pq-code-package-hackathon
Hackathon planning and documentation
2 3 172
pq-code-package/.github
PQCP GitHub organization profile
1 11 11
pq-code-package/documentation
Project documentation built using mkdocs
Language:Python1 2 11
pq-code-package/mlkem-c-generic
ML-KEM generic implementation in C
1 5 02
pq-code-package/mlkem-libjade
ML-KEM implementation in libjade with high assurance
1 6 02
pq-code-package/mlkem-rust-libcrux
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.
1 5 01
pq-code-package/template-code
Template for creating code repositories, with basic file setup included
1 2 01
pq-code-package/o-documentation
Docs
Language:HTML1 01