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.