ethever.eth's repositories
EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
solsec
A collection of resources to study Solana smart contract security, auditing, and exploits.
lassie
A minimal universal retrieval client library for IPFS and Filecoin
evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
evm-dis
An EVM bytecode disassembler/assembler
slither
Static Analyzer for Solidity and Vyper
Academic_Smart_Contract_Papers
Academic Smart Contract Papers, Welcome to add this list.
rust-script
Run Rust files and expressions as scripts without any setup or compilation step.
TrafficMonitor
这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件,并支持任务栏显示,支持更换皮肤。
sc-exploits-minimized
A repo to showcase web3 hacks
ESP-Miner
A bitcoin ASIC miner for the ESP32
bitaxe
Open source ASIC Bitcoin miner hardware
ethers-reth
An ether-rs middleware to access reth's db directly, bypassing JSON-RPC
Coerce-rs
Actor runtime and distributed systems framework for Rust
tdlib-sys
Rust sys crate for Telegram's TDLib (https://core.telegram.org/tdlib)
groonga
An embeddable fulltext search engine. Groonga is the successor project to Senna.
rust-tdlib
Rust client for TDlib
tantivy
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
react-beautiful-dnd
Beautiful and accessible drag and drop for lists with React
linera-protocol
Main repository for the Linera protocol
cang-jie
Chinese tokenizer for tantivy, based on jieba-rs
stream-download-rs
A Rust library for streaming media content from a remote location
memmap2-rs
cross-platform Rust API for memory mapped IO
evm-cfg
Symbolic stack CFG generator for EVM