24 Repositories
helios
1653
ai
1008
zkdrops
714
halmos
652
magi
558
awesome-farcaster
502
nft-analyst-starter-pack
461
auction-zoo
331
zkdocs
296
cicada
293
Lasso
268
a16z-contracts
261
metamorphic-contract-detector
155
erc4626-tests
138
eth-testnet-drop
124
evm-powers-of-tau
99
farcaster-py
83
crypto-governance
48
zkp-merkle-airdrop-lib
47
halmos-cheatcodes
45
zkp-merkle-airdrop-fe-ex
34
crypto-ecosystems
23
nft-sleep-mint-forta-agent
12
Spartan2
0