Popular repositories Loading

1. publications publications Public

   Zellic's audits, publications, and reports

   175 21

2. EVM-trackooor EVM-trackooor Public

   A modular tool to track anything on the EVM chain, including real-time tracking and alerts.

   Go 154 20

3. Masamune Masamune Public

   A smart contract security search utility

   JavaScript 75 13

4. 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 61 4

5. weth weth Public

   Formal verification of WETH9.sol with Z3

   Python 58 5

6. move-prover-examples move-prover-examples Public

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

   Move 50 9