GitHub repository: pq-code-package/mlkem-libjade
Description: ML-KEM implementation in libjade with high assurance