Pinned Loading

1. Manta-Network/manta-rs Manta-Network/manta-rs Public

   Rust Crates for the Manta Network Ecosystem

   Rust 82 47

2. openzklib/openzl openzklib/openzl Public

   Zero-Knowledge Cryptography Infrastructure Stack

   Rust 128 16

3. Manta-Network/manta-signer Manta-Network/manta-signer Public

   Manta Client to turbo-charge ZKP Generation

   CSS 95 52

4. ZK-Garage/plonk ZK-Garage/plonk Public

   A pure Rust PLONK implementation using arkworks as a backend.

   Rust 303 78

5. lean-riemann-hypothesis lean-riemann-hypothesis Public

   Riemann Hypothesis in Lean

   Lean 40 7

6. MATHUSLA/Mu-Simulation MATHUSLA/Mu-Simulation Public

   simulation of muons (and more) through earth material

   C++ 6 14