eserilev

eserilev's Stars

• devdacian/solidity-fuzzing-comparison

  A comparison of solidity fuzzing tools Foundry, Echidna & Medusa

  Language:Solidity11318

• BurtonQin/lockbud

  Statically detect memory, concurrency bugs and possible panic locations for Rust.

  Language:Rust45026

• rust-lang/miri

  An interpreter for Rust's mid-level intermediate representation

  Language:Rust4.6k344

• alloy-rs/core

  High-performance, well-tested & documented core libraries for Ethereum, in Rust

  Language:Rust786149

• o1-labs/snarky

  OCaml DSL for verifiable computation

  Language:OCaml49674

• Commit-Boost/commit-boost-client

  Commit-Boost allows Ethereum validators to safely run MEV-Boost and community-built commitment protocols

  Language:Rust7132

• synapsecns/sanguine

  Synapse Monorepo

  Language:Go3730

• ethereum/consensus-specs

  Ethereum Proof-of-Stake Consensus Specifications

  Language:Python3.6k974

• sigp/lighthouse

  Ethereum consensus client in Rust

  Language:Rust2.9k746

• cberner/redb

  An embedded key-value database in pure Rust

  Language:Rust3.3k154

• flosse/rust-web-framework-comparison

  A comparison of some web frameworks and libs written in Rust

  Language:Rust5.1k194

• eth-clients/eth2-networks

  Eth2 testnet metadata files

  Language:Python12144

• paco0x/amm-arbitrageur

  An arbitrage bot between Uniswap AMMs

  Language:Solidity1.9k826