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.