Popular repositories Loading

1. circuzz circuzz Public

   Fuzzing processing pipelines for zero-knowledge circuits

   Python 12 3

2. olympia olympia Public

   A benchmarking platform for Solidity fuzzers

   Python 11 1

3. greenbench greenbench Public

   A greener fuzzer benchmarking platform

   Python 10 1

4. nomos nomos Public

   A specification language and framework for expressing and testing k-safety properties of machine-learning models

   Python 5

5. arguzz arguzz Public

   Arguzz is a zero knowledge virtual machine fuzzer

   Python 5 4

6. sherlock sherlock Public

   An interrogation-testing framework for testing program analyzers

   C 3