Alternatives and similar repositories for yul-isabelle

Users that are interested in yul-isabelle are comparing it to the libraries listed below

• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 2 years ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆57Updated 3 years ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• meoawtistic / ruff
  ☆37Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆31Updated 2 years ago
• fe-lang / sonatina
  ☆51Updated this week
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆29Updated 2 years ago
• dapp-org / k-uniswap-v2
  ☆41Updated 5 years ago
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated 2 years ago
• brockelmore / rust-cevm
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆47Updated 3 years ago
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated last year
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• brockelmore / MiniMutant
  Curta Challenge
  ☆16Updated 2 years ago
• recmo / yul
  ☆102Updated 2 years ago
• joelburget / evm-rust
  Minimal EVM implementation in Rust
  ☆29Updated 7 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 8 months ago
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆39Updated last year
• RagePit / micro-rust-evm
  ☆22Updated 3 years ago
• umbracle / geth-data-layer
  Go library to access the blockchain state of Go-ethereum
  ☆16Updated 2 years ago
• ipsilon / eof
  Validation code for the EOF specification
  ☆57Updated 4 months ago
• foundry-rs / getfoundry.sh
  Official Foundry landing page
  ☆16Updated 2 years ago
• ethereum / beaconrunner
  Agent-based simulation environment for PoS Ethereum
  ☆52Updated 2 years ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆36Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• sky-ecosystem / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago