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
9
stars
written in HTML
Clear filter
This repository contains best profile readme's for your reference.
So your teacher asked you to upload written assignments? Hate writing assigments? This tool will help you convert your text to handwriting xD
A guide to how rustc works and how to contribute to it.
A community-powered collection of all known bug bounty platforms, vulnerability disclosure platforms, and crowdsourced security platforms currently active on the Internet.
Deadline countdowns for academic conferences in Security and Privacy
Certified Smart Contract Audits for Ethereum, Solana, Near, Cardano, Aptos, Sui, Binance Smart Chain, Fantom, EOS, Tezos and more
A binary lifter and analysis framework for Ethereum smart contracts
A ground-truth fuzzing benchmark suite based on real programs with real bugs.