Popular repositories Loading

1. certik-a-tour-of-solidity-tutorials certik-a-tour-of-solidity-tutorials Public

   21 10

2. rocq_zkvm_tactics rocq_zkvm_tactics Public

   Work for the Ethereum Foundation zkvm rocq tactic grants

   Rocq Prover 6

3. SWC-registry SWC-registry Public archive

   Forked from SmartContractSecurity/SWC-registry

   CertiK Extended Smart Contract Weakness Classification and Test Cases

   Solidity 4 2

4. slither-certik slither-certik Public

   Forked from crytic/slither

   CertiK fork of Slither Analyzer

   Python 3 2

5. stump-the-auditor-contracts stump-the-auditor-contracts Public

   Solidity 3 30

6. validator-directory validator-directory Public

   Forked from bnb-chain/validator-directory

   validator-directory

   2 2