Repositories
Repository | tags | Purpose |
---|---|---|
.github |
None | PQCP GitHub organization profile |
documentation |
[OrderedDict({'name': 'documentation'}), OrderedDict({'name': 'website'})] | Project documentation built using mkdocs |
mlkem-c-aarch64 |
None | ML-KEM implementation optimized for aarch64 |
mlkem-c-embedded |
None | MLKEM implementation optimized for embedded microcontrollers |
mlkem-c-generic |
None | ML-KEM generic implementation in C from PQclean |
mlkem-libjade |
None | ML-KEM implementation in libjade with high assurance |
mlkem-rust-libcrux |
None | 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 |
[OrderedDict({'name': 'documentation'}), OrderedDict({'name': 'hackathon'}), OrderedDict({'name': 'website'})] | Hackathon planning and documentation |
template-code |
None | Template for creating code repositories, with basic file setup included |
tsc |
None | PQ Code Project Technical Steering Committee resources |
NOTE: The above segment is created by the scripts/catalog_repo.pl
script.