Popular repositories

1. publications publications Public

   Zellic's audits, publications, and reports

   129 15

2. weth weth Public

   Formal verification of WETH9.sol with Z3

   Python 55 3

3. Masamune Masamune Public

   A smart contract security search utility

   Python 52 13

4. poc-hacks poc-hacks Public

   Solidity 38 4

5. move-prover-examples move-prover-examples Public

   A gentle, example-based guide to getting started with the Move prover.

   Move 35 4

6. solidity-parser solidity-parser Public

   Solp is a Python library used for reading, parsing and analysis of Solidity source projects and contracts without a dependency on the solc compiler.

   Python 33 1