Jiefeng Li's repositories
all-things-reentrancy-solution
Solutions for all things reentrancy
all-things-reentrancy
Workshop about the different types of reentrancy attacks
aptos-core
Aptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
astmaker
Build Abstract Syntax Trees and tree-walking models quickly in Rust.
blockchain_conference_paper
The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developers or researchers to add more published papers to this list.
erigon
Ethereum implementation on the efficiency frontier
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
ethernaut-foundry
Ethernaut puzzles tested in foundry without testenet environment
yul-revert-reason-extractor
Extract yul revert reason from the solidity repo
github-stats
Better GitHub statistics images for your profile, with stats from private repos too
huff-stacker
The goal of this project is to automatically generate stack comments for huff macros
LTL-Fuzzer
Linear-time Temporal Logic guided Greybox Fuzzing (ICSE'22)
revmup
A smart-contract api and client for revm
rumcake
A rust-based mechanical keyboard firmware
semi-utils
一个批量添加相机机型和拍摄参数的工具，后续「可能」添加其他功能。
solidity
Solidity, the Smart Contract Programming Language