Pinned

1. Manta-Network/manta-rs Public

   Rust Crates for the Manta Network Ecosystem

   Rust 6 2

2. Manta-Network/manta-signer Public

   Manta Client to turbo-charge ZKP Generation

   CSS 50 20

3. ZK-Garage/plonk Public

   A pure Rust PLONK implementation using arkworks as a backend.

   Rust 147 27

4. lean-riemann-hypothesis Public

   Riemann Hypothesis in Lean

   Lean 11 2

5. MATHUSLA/Mu-Simulation Public

   simulation of muons (and more) through earth material

   C++ 5 11

6. MATHUSLA/tracker Public

   time-based track reconstruction library

   C++ 2 3