zzzihao-li's Stars
crytic/slither
Static Analyzer for Solidity and Vyper
steshaw/plt
Programming Language Theory λΠ
skilion/onedrive
Free Client for OneDrive on Linux
blockchain-etl/ethereum-etl
Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transactions. Data is available in Google BigQuery https://goo.gl/oY5BCQ
ocaml-community/awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
theredguild/damn-vulnerable-defi
The smart contract security training ground for developers, security researchers and educators.
palkeo/panoramix
Ethereum decompiler
smartbugs/smartbugs
SmartBugs: A Framework to Analyze Ethereum Smart Contracts
bertmiller/sMEV
ethereum/evmlab
Utilities for interacting with the Ethereum virtual machine
imfing/vuepress-homepage
:page_facing_up: Elegant & friendly homepage (bio, tech portfolio, resume, doc...) template with Markdown and VuePress
fergarrui/ethereum-graph-debugger
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
crytic/rattle
evm binary static analysis
ChrisCummins/ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
nevillegrech/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
colekennelly1/awesome-defi-trackers
A curated list of DeFi (decentralized finance) project trackers, analytics dashboards, and resources.
slidevjs/themes
Official themes for Slidev
SoftSec-KAIST/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
adelapie/ghidra-evm
The Ghidra EVM Module (ghidra-evm) leverages Ghidra 9.1.2 to disassemble and analyze compiled Ethereum smart contracts. Ghidra-evm was presented at BlackHat Asia 2021.
PlyTools/awesome-blockchain-papers
A curated list of academic blockchain-related papers
xiongyingfei/xiongyingfei.github.io
defi-formal/cff
Miner extractable value modeling and tools.
tczpl/XBlock-ETH
Extracting and Exploring Blockchain Data from Ethereum
christoftorres/Frontrunner-Jones
A collection of tools to measure and analyze frontrunning on Ethereum (USENIX 2021).
crytic/echidna-parade
verovm/usenix-atc21
contract-ace/smartace
aoli-al/Solythesis
Solythesis: Securing Smart Contract with Runtime Validation
SmartContractSec/VulnerabilityDataset
Smart contract vulnerability dataset
ucsb-seclab/slither-sailfish
Modified Slither for Sailfish