Pinned Loading

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

   A framework for testing compilers' type checkers

   Python 55 10

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

   A curated list of awesome security resources for ZK.

   89 6

3. zksecurity/zkbugs zksecurity/zkbugs Public

   Reproduce ZKP vulnerabilities

   Circom 248 28

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

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

   Python 101 22

5. dspinellis/cscout dspinellis/cscout Public

   C code refactoring browser

   C++ 212 38

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

   Analyse package dependency networks at the call graph level

   Java 95 28