Popular repositories Loading

1. libjade libjade Public

   Forked from formosa-crypto/libjade

   Crypto library

   eC

2. jasmin jasmin Public

   Forked from jasmin-lang/jasmin

   Language for high-assurance and high-speed cryptography

   Coq

3. sandwich sandwich Public

   Forked from sandbox-quantum/sandwich

   Sandwich is a multi-platform, multi-language, open-source library that provides a simple unified API for developers to use (multiple) cryptographic libraries in their applications.

   Rust

4. xwing-kem.rs xwing-kem.rs Public

   Forked from rugo/xwing-kem.rs

   Rust implementation of Xwing

   Rust

5. formosa-mlkem formosa-mlkem Public

   Forked from formosa-crypto/formosa-mlkem

   eC