Pinned Loading

1. formosa-crypto/libjade formosa-crypto/libjade Public

   Crypto library

   C 70 17

2. formosa-crypto/formosa-mlkem formosa-crypto/formosa-mlkem Public

   eC 19 12

3. pswoosh pswoosh Public archive

   Passive-Swoosh: Practical Lattice-Based Non-Interactive Key Exchange

   Rust 29 3

4. CryptOpt CryptOpt Public

   Forked from 0xADE1A1DE/CryptOpt

   CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives

   TypeScript

5. jasmin-lang/jasmin jasmin-lang/jasmin Public

   Language for high-assurance and high-speed cryptography

   Rocq Prover 353 77