All

13 repositories

mldsa-native
Public
Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204
post-quantum-cryptography formal-verification post-quantum-signature
post-quantum-cryptography formal-verification post-quantum-signature ml-dsa
Assembly
•
Other
•44•69•76•30•Updated Apr 30, 2026Apr 30, 2026
mlkem-native
Public
Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203
cryptography-library post-quantum-cryptography formal-verification
cryptography-library post-quantum-cryptography formal-verification post-quantum-kem ml-kem
Assembly
•
Other
•51•180•72•18•Updated Apr 29, 2026Apr 29, 2026
tsc
Public
PQ Code Project Technical Steering Committee resources
Creative Commons Attribution 4.0 International
•5•8•2•0•Updated Apr 19, 2026Apr 19, 2026
slhdsa-c
Public
C
•
Other
•6•7•15•1•Updated Apr 1, 2026Apr 1, 2026
mlkem-libjade
Public
ML-KEM implementation in libjade with high assurance
Assembly
•
Apache License 2.0
•3•6•0•0•Updated Dec 22, 2025Dec 22, 2025
mlkem-c-embedded
Public archive
MLKEM implementation optimized for embedded microcontrollers
C
•
Apache License 2.0
•10•29•10•1•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…
Apache License 2.0
•2•6•1•0•Updated Oct 2, 2025Oct 2, 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
website documentation
website documentation
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
website documentation hackathon
website documentation hackathon
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
•19•0•0•0•Updated Mar 8, 2024Mar 8, 2024

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

PQ Code Package

All

All

13 repositories

mldsa-native

mlkem-native

tsc

slhdsa-c

mlkem-libjade

mlkem-c-embedded

rust-libcrux

.github

mlkem-c-generic

template-code

documentation

pq-code-package-hackathon

o-documentation

All

All

Repositories list

13 repositories