Pinned Repositories
blobl-mixer-test
blobl-mixer-test
eternity-ai-frontend
The monorepo for eternity-ai frontend
homework
MCS51AsmLearning
51单片机汇编文档
MCS51Source
89c52单片机资源
myemacs
My configuration for Emacs funny!
plug-coinflip
The coinflip is a sample project that showcases how applications can integrate Plug to authenticate users and use the PlugAgent through the IC Provider API!
qdrant
Qdrant - Vector Database for the next generation of AI applications. Also available in the cloud https://cloud.qdrant.io/
rosetta-node
A passive node of the IC that can be interacted with using the Rosetta protocol
test-state-machine-client
Rust library to interact with the ic-test-state-machine
ethever's Repositories
ethever/Academic_Smart_Contract_Papers
Academic Smart Contract Papers, Welcome to add this list.
ethever/amms-rs
A Rust library to interact with automated market makers across EVM chains.
ethever/cozo
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
ethever/createXcrunch
ethever/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
ethever/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
ethever/evm-dis
An EVM bytecode disassembler/assembler
ethever/evm-semantics
K Semantics of the Ethereum Virtual Machine (EVM)
ethever/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
ethever/exo
Run your own AI cluster at home with everyday devices 📱💻 🖥️⌚
ethever/fastlane-bot
Fast Lane, an open-source arbitrage protocol, allows any user to perform arbitrage between Bancor ecosystem protocols and external exchanges and redirect arbitrage profits back to the protocol.
ethever/formulog
Datalog with support for SMT queries and first-order functional programming
ethever/gigahorse-toolchain
A binary lifter and analysis framework for Ethereum smart contracts
ethever/greed
A symbolic execution engine for EVM smart contract binaries.
ethever/haskell-learn
ethever/heimdall-rs
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
ethever/hevm
symbolic EVM evaluator
ethever/hevm-presentation-research
ethever/lassie
A minimal universal retrieval client library for IPFS and Filecoin
ethever/lem
Lem semantic definition language
ethever/pevm
Blazingly fast Parallel EVM
ethever/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
ethever/rust-script
Run Rust files and expressions as scripts without any setup or compilation step.
ethever/sage
Main repository of SageMath
ethever/sc-exploits-minimized
A repo to showcase web3 hacks
ethever/slither
Static Analyzer for Solidity and Vyper
ethever/solsec
A collection of resources to study Solana smart contract security, auditing, and exploits.
ethever/teether
ethever/TrafficMonitor
这是一个用于显示当前网速、CPU及内存利用率的桌面悬浮窗软件，并支持任务栏显示，支持更换皮肤。
ethever/z3_checks