27 Repositories
helios
1700
ai
1041
zkdrops
727
halmos
698
awesome-farcaster
621
magi
567
jolt
514
nft-analyst-starter-pack
462
auction-zoo
336
zkdocs
302
cicada
299
a16z-contracts
263
metamorphic-contract-detector
155
erc4626-tests
151
eth-testnet-drop
126
farcaster-py
101
evm-powers-of-tau
99
crypto-governance
48
zkp-merkle-airdrop-lib
47
halmos-cheatcodes
47
zkvm-benchmarks
42
zkp-merkle-airdrop-fe-ex
34
crypto-ecosystems
24
nft-sleep-mint-forta-agent
12
Spartan2
1
rust
1
arkworks-algebra
0