Pinned Loading

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

   A framework for testing compilers' type checkers

   Python 49 10

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

   A curated list of awesome security resources for ZK.

   60 3

3. zkCollective/zk-Harness zkCollective/zk-Harness Public

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

   Python 96 14

4. dspinellis/cscout dspinellis/cscout Public

   C code refactoring browser

   C 194 35

5. fasten-project/fasten fasten-project/fasten Public

   Analyse package dependency networks at the call graph level

   Java 90 28

6. theosotr/cynthia theosotr/cynthia Public

   Data-Oriented Differential Testing of ORM Systems.

   Scala 14 1