Cluster 635506

6 repos

Assembly · 4

OCaml · 1

Rust · 1

post-quantum-cryptography ·686

constraint-programming ·343

cryptography-tools ·343

formal-verification ·343

assembly-language ·343

superoptimization ·343

ml-kem ·236

cryptography-library ·236

post-quantum-kem ·236

post-quantum-signature ·107

Related clusters

pq-code-package/mlkem-native

Secure, fast, and portable C90 implementation of ML-KEM / FIPS 203

Assembly

236

2,490 commits

pq-code-package/mldsa-native

Secure, fast, and portable C90 implementation of ML-DSA / FIPS 204

Assembly

107

1,389 commits

awslabs/s2n-bignum

No description

OCaml

229

937 commits

aws/aws-lc

AWS-LC is a general-purpose cryptographic library maintained by the AWS Cryptography team for AWS…

Assembly

834

10,147 commits

slothy-optimizer/slothy

Assembly super-optimization via constraint solving

Assembly

343

1,194 commits

aws/aws-lc-rs

aws-lc-rs is a cryptographic library using AWS-LC for its cryptographic operations. The library…

Rust

650

971 commits