
Starred repositories
The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar
DexLib is a library used by Kyberswap backend to integrate with decentralized exchanges. This library enables external DEX developers to integrate their DEX with Kyberswap by creating pull requests…
huff-neo marks a new dawn for the once-abandoned huff-rs, breathing fresh life into its legacy.
A python parametric CAD scripting framework based on OCCT
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Rust derive-based argument parsing optimized for code size
Write expressive, high-performance parsers with ease.
Ethereum system contract implementations (asm)
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
w3 is your toolbelt for integrating with Ethereum in Go. Closely linked to go‑ethereum, it provides an ergonomic wrapper for working with RPC, ABI’s, and the EVM.
MESC is a specification for how crypto tools configure their RPC endpoints
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
tbl is a swiss army knife for parquet read and write operations
Sync your Reth archive nodes in hours, instead of weeks, with our snapshots.
SpecOps is a low-level, domain-specific language and compiler for crafting Ethereum VM bytecode. The project also includes a CLI with code execution and terminal-based debugger.
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.