Popular repositories Loading

1. hardhat-template hardhat-template Public

   Opinionated hardhat template

   TypeScript

2. Sherlock-CTF Sherlock-CTF Public

   Sherlock CTF solutions

   Solidity

3. Tutorials Tutorials Public

   Forked from Certora/Tutorials

   Practical tutorials of Certora Prover

   Solidity

4. badger-onchain-rewards badger-onchain-rewards Public

   Forked from Certora/badger-onchain-rewards

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

   Solidity

5. zero-knowledge-university-week1 zero-knowledge-university-week1 Public

   Forked from zku-cohort-3/week1

   week 1 coding assignment

   JavaScript

6. seaport seaport Public

   Forked from ProjectOpenSea/seaport

   Seaport is a marketplace protocol for safely and efficiently buying and selling NFTs.

   Solidity