Pinned Repositories
.github
PQCP GitHub organization profile
mldsa-native
Work-in-progress C90 implementation of ML-DSA / FIPS 204
mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
mlkem-c-generic
ML-KEM generic implementation in C
mlkem-libjade
ML-KEM implementation in libjade with high assurance
mlkem-native
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
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.
pq-code-package-hackathon
Hackathon planning and documentation
slhdsa-c
tsc
PQ Code Project Technical Steering Committee resources
PQ Code Package's Repositories
pq-code-package/mlkem-native
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
pq-code-package/mldsa-native
Work-in-progress C90 implementation of ML-DSA / FIPS 204
pq-code-package/mlkem-c-embedded
MLKEM implementation optimized for embedded microcontrollers
pq-code-package/tsc
PQ Code Project Technical Steering Committee resources
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.
pq-code-package/mlkem-c-generic
ML-KEM generic implementation in C
pq-code-package/pq-code-package-hackathon
Hackathon planning and documentation
pq-code-package/mlkem-libjade
ML-KEM implementation in libjade with high assurance
pq-code-package/slhdsa-c
pq-code-package/.github
PQCP GitHub organization profile
pq-code-package/documentation
Project documentation built using mkdocs
pq-code-package/template-code
Template repo
pq-code-package/o-documentation
Docs