Popular repositories Loading

1. CryptoJPM CryptoJPM Public archive

   public fork of Crypto++ v5.6.2 to add algorithms

   C++ 2 1

2. BSV-Stuff BSV-Stuff Public

   To toy around with Bluespec-SystemVerilog and my Basys3 board

   Bluespec 1

3. ABY ABY Public

   Forked from encryptogroup/ABY

   ABY - A Framework for Efficient Mixed-protocol Secure Two-party Computation

   C++ 1

4. cryptopp cryptopp Public

   Forked from weidai11/cryptopp

   C++

5. CBMC-Golf CBMC-Golf Public

   A Repository dedicated to making CBMC fit for "standard" applications

   C++

6. stdarch stdarch Public

   Forked from rust-lang/stdarch

   Rust's standard library vendor-specific APIs and run-time feature detection

   HTML