jf-li00
Follow
-
github-stats Public template
Forked from jstrieb/github-statsBetter GitHub statistics images for your profile, with stats from private repos too
Python GNU General Public License v3.0 UpdatedDec 31, 2024 -
ethereum-etl-accelerator Public
Using output sharding to accelerate ethereum etl
Python UpdatedSep 23, 2024 -
-
ChainWalker Public
Forked from 0xsha/ChainWalkerRapid Smart Contract Crawler
Go MIT License UpdatedAug 28, 2024 -
go-ethereum Public
Forked from ethereum/go-ethereumGo implementation of the Ethereum protocol
Go GNU Lesser General Public License v3.0 UpdatedAug 9, 2024 -
-
mcltl-rs Public
Forked from NotBad4U/mcltl-rs[beta] An experimental model checker for LTL written in Rust
Rust UpdatedMay 14, 2024 -
aderyn Public
Forked from Cyfrin/aderynAderyn 🦜 Rust-based Solidity AST analyzer.
Rust GNU Affero General Public License v3.0 UpdatedApr 25, 2024 -
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedApr 25, 2024 -
Academic_Smart_Contract_Papers Public
Forked from hzysvilla/Academic_Smart_Contract_PapersAcademic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.
GNU General Public License v3.0 UpdatedApr 20, 2024 -
-
slither Public
Forked from crytic/slitherStatic Analyzer for Solidity and Vyper
Python GNU Affero General Public License v3.0 UpdatedApr 9, 2024 -
-
ityfuzz Public
Forked from fuzzland/ityfuzzBlazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
Rust MIT License UpdatedApr 1, 2024 -
yul-revert-reason-extractor Public
Extract yul revert reason from the solidity repo
-
ethernaut-foundry Public
Ethernaut puzzles tested in foundry without testenet environment
-
-
-
-
Solutions for all things reentrancy
-
all-things-reentrancy Public
Forked from jcsec-security/all-things-reentrancyWorkshop about the different types of reentrancy attacks
Solidity GNU General Public License v3.0 UpdatedDec 24, 2023 -
aptos-core Public
Forked from aptos-labs/aptos-coreAptos is a layer 1 blockchain built to support the widespread use of blockchain through better technology and user experience.
Rust Other UpdatedDec 18, 2023 -
solidity Public
Forked from ethereum/soliditySolidity, the Smart Contract Programming Language
C++ GNU General Public License v3.0 UpdatedNov 27, 2023 -
ethereum_formal_verification_overview Public
Forked from leonardoalt/ethereum_formal_verification_overviewOverview of the formal verification projects in the Ethereum ecosystem.
GNU General Public License v3.0 UpdatedNov 24, 2023 -
blockchain_conference_paper Public
Forked from jianyu-niu/blockchain_conference_paperThe 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.
UpdatedOct 28, 2023 -
-
rumcake Public
Forked from Univa/rumcakeA rust-based mechanical keyboard firmware
Rust MIT License UpdatedOct 7, 2023 -
huff-stacker Public
Forked from shafu0x/huff-stackerThe goal of this project is to automatically generate stack comments for huff macros
Rust UpdatedSep 22, 2023 -
revmup Public
Forked from davebryson/revmupA smart-contract api and client for revm
Rust Apache License 2.0 UpdatedAug 1, 2023 -
semi-utils Public
Forked from leslievan/semi-utils一个批量添加相机机型和拍摄参数的工具，后续「可能」添加其他功能。
Python Apache License 2.0 UpdatedJul 3, 2023