Popular repositories Loading

1. liboqs liboqs Public

   Forked from open-quantum-safe/liboqs

   C library for prototyping and experimenting with quantum-resistant cryptography

   C 1

2. oqs-demos oqs-demos Public

   Forked from open-quantum-safe/oqs-demos

   PARTIALLY SUPPORTED Instructions for enabling the use of quantum-safe cryptography in assorted software using the OQS suite. CONTRIBUTORS WANTED.

   Dockerfile 1

3. mlkem-native mlkem-native Public

   Forked from pq-code-package/mlkem-native

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

   Assembly 1

4. hax hax Public

   Forked from cryspen/hax

   A Rust verification tool

   OCaml

5. libcrux libcrux Public

   Forked from cryspen/libcrux

   The formally verified crypto library for Rust

   C

6. formats formats Public

   Forked from cryspen/formats

   Cryptography-related format encoders/decoders: DER, PEM, PKCS, PKIX

   Rust