Popular repositories

1. Bridges-L2s Public

   Hacks/Vulns/Audits Compilation

   1

2. erigon Public

   Forked from ledgerwatch/erigon

   Ethereum implementation on the efficiency frontier

   Go

3. aws-glue-schema-registry Public

   Forked from awslabs/aws-glue-schema-registry

   Java

4. Tutorials Public

   Forked from Certora/Tutorials

   Practical tutorials of Certora Prover

   Solidity

5. badger-onchain-rewards Public

   Forked from Certora/badger-onchain-rewards

   Generalized onChain reward contract that allows to retroactively reward depositors with any token

   Solidity

6. icewater_public_review Public

   Forked from icewatersteam/icewater_public_review

   Icewater Controller (work in progress) contract for preliminar code review/audit.

   Solidity