Popular repositories Loading

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

   20 10

2. zkwasm-fv zkwasm-fv Public

   Formal verification of the zkWasm project

   Coq 15 2

3. Certified-DeFi Certified-DeFi Public

   A Certified Version of Uniswap V2: A Leap Forward in True Decentralization

   TeX 5 2

4. SWC-registry SWC-registry Public archive

   Forked from SmartContractSecurity/SWC-registry

   CertiK Extended Smart Contract Weakness Classification and Test Cases

   Solidity 4 2

5. arbitrage-bot arbitrage-bot Public archive

   Python 3 2

6. move-prover-blog move-prover-blog Public

   Source code repository for CertiK's blog on the Move Prover

   Move 3 4