Alternatives and similar repositories for evmlite

Users that are interested in evmlite are comparing it to the libraries listed below

• Zellic / move-prover-examples
  A gentle, example-based guide to getting started with the Move prover.
  ☆51Updated 3 years ago
• fe-lang / sonatina
  ☆53Updated this week
• ConsenSysDiligence / sol-dbg
  Solidity source debugger built around EthereumJS
  ☆25Updated last week
• argotorg / yul-isabelle
  ☆41Updated 3 years ago
• sigp / enr
  Ethereum Node Record
  ☆64Updated 4 months ago
• foundry-rs / compilers
  Utilities for working with native solc and compiling projects.
  ☆107Updated 2 weeks ago
• vezenovm / mastermind-noir
  ☆32Updated 3 years ago
• LimeChain / RollupCodes
  Interactive Specification of Ethereum Rollups
  ☆86Updated 2 weeks ago
• axic / solc-rust
  Rust bindings for the Solidity compiler.
  ☆28Updated 5 years ago
• WilfredTA / symbolic-stack-machines
  Library for building symbolically executable stack-based virtual machines
  ☆75Updated 3 years ago
• foundry-rs / block-explorers
  Bindings for the etherscan API and other block explorers.
  ☆70Updated this week
• spruceid / siwe-rs
  A Rust implementation of EIP-4361 Sign In With Ethereum verification
  ☆99Updated last year
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆57Updated 3 years ago
• noir-lang / acvm
  ☆49Updated 2 years ago
• parallelchain-io / hotstuff_rs
  Performant Byzantine Fault Tolerant State Machine Replication (BFT SMR) in Rust.
  ☆58Updated last year
• viperproject / 2vyper
  A static verifer for Ethereum Smart Contracts written in Vyper
  ☆51Updated 2 years ago
• recmo / rust-service-template
  ☆29Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 3 years ago
• gizatechxyz / Giza-Hub
  Curated list of ZKML models and use cases made with Giza
  ☆51Updated last year
• ernestognw / solidity-mermaid
  A Solidity AST processor for transpiling Solidity smart contracts into Github's Mermaid.js language for diagramming.
  ☆28Updated 2 years ago
• dmfxyz / supersig
  Simple "commit-reveal" multisig in vyper
  ☆24Updated 3 years ago
• ralexstokes / ethereum-consensus
  ☆152Updated 6 months ago
• Sovereign-Labs / solana-proofs
  ☆28Updated 2 years ago
• immutable / imx-core-sdk-golang
  The Immutable Core SDK Golang provides convenient access to the Immutable APIs and Ethereum contract methods for applications integrating…
  ☆10Updated last month
• camden-smallwood / solidity-rs
  Solidity 0.8.X AST parsing and analysis in Rust.
  ☆78Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 9 months ago
• rkdud007 / xxfunc
  Serverless function on Reth
  ☆75Updated last year
• alloy-rs / rlp
  Fast implementation of Ethereum RLP serialization
  ☆109Updated last week
• matter-labs / zksync-crypto
  Cryptography libraries for ZKsync
  ☆39Updated this week
• sigp / discv5
  Rust implementation of Discovery v5
  ☆189Updated 3 weeks ago