Lists (20)
blockchain protocol
1 repository
blockchain-rust
1 repository
compiler
2 repositories
contract audit reports
3 repositories
ethereum-rust
33 repositories
formal verification
41 repositories
functional programming
2 repositories
fuzz
8 repositories
Latex/Beamer
3 repositories
papers
2 repositories
runtime verification
12 repositories
rust-development
11 repositories
samrt contract verification
15 repositories
smart contract analysis
18 repositories
smart contract CTF
1 repository
solana
1 repository
solidity contracts
1 repository
temporal properties
21 repositories
ZK
10 repositories
ZK EVM
2 repositories
Starred repositories
7
stars
written in Move
Clear filter
Introductory Course to the Sui Move language
Hyper-parallelized on-chain order book for the Aptos blockchain
A gentle, example-based guide to getting started with the Move prover.
Intentionally vulnerable Coin swap protocol. DO NOT USE. FOR LEARNING PURPOSES ONLY.