Pinned Loading

1. hephaestus-compiler-project/hephaestus hephaestus-compiler-project/hephaestus Public

   A framework for testing compilers' type checkers

   Python 60 12

2. Awesome-ZKP-Security Awesome-ZKP-Security Public

   A curated list of awesome security resources for ZK.

   103 9

3. zksecurity/zkbugs zksecurity/zkbugs Public

   Reproduce ZKP vulnerabilities

   Circom 300 36

4. zkCollective/zk-Harness zkCollective/zk-Harness Public

   Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

   Python 102 22

5. dspinellis/cscout dspinellis/cscout Public

   C code refactoring browser

   C++ 217 38

6. fasten-project/fasten fasten-project/fasten Public

   Analyse package dependency networks at the call graph level

   Java 96 27