Zellic
Results
20
repositories owned by
Zellic
example-ctf-challenge
21
Stars
5
Forks
Watchers
A self-contained example Ethereum challenge using Paradigm's CTF framework
Masamune
52
Stars
13
Forks
Watchers
A smart contract security search utility
move-prover-examples
35
Stars
4
Forks
Watchers
A gentle, example-based guide to getting started with the Move prover.