Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings
@Zellic

Zellic

Security reviews and research that keep winners winning. We apply unmatched hacking talent to secure critical software for the most innovative teams.

Popular repositories Loading

  1. publications publications Public

    Zellic's audits, publications, and reports

    216 28

  2. EVM-trackooor EVM-trackooor Public

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

    Go 183 22

  3. Masamune Masamune Public

    A smart contract security search utility

    JavaScript 76 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 69 3

  5. weth weth Public

    Formal verification of WETH9.sol with Z3

    Python 59 5

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

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

    Move 51 9

Repositories

Loading
Type
Select type
Language
Select language
Sort
Select order
Showing 10 of 25 repositories

Top languages

Loading…

Most used topics

Loading…

Morty Proxy This is a proxified and sanitized view of the page, visit original site.