Alternatives and similar repositories for yul-isabelle

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

• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆57Updated 3 years ago
• ControlCplusControlV / Scribe
  Minimal Yul Transpilation to the Miden VM
  ☆52Updated 3 years ago
• fe-lang / sonatina
  ☆53Updated 2 weeks ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆37Updated 3 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆32Updated 3 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆72Updated 3 years ago
• realbigsean / mock-relay
  ☆21Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 3 years ago
• brockelmore / rust-cevm
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆46Updated 4 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated 2 years ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆30Updated 2 years ago
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆39Updated 2 years ago
• dasylang / dasy
  a lisp built on top of vyper
  ☆50Updated 7 months ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 4 years ago
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆32Updated last year
• nlordell / solabi-rs
  Rust Implementation of the Solidity ABI
  ☆43Updated 4 months ago
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated 2 years ago
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆35Updated 9 months ago
• refcell / archon
  An efficient, robust, and generalized batch submission service for rollup stacks written in pure rust.
  ☆91Updated 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆22Updated last year
• ethereum / beaconrunner
  Agent-based simulation environment for PoS Ethereum
  ☆55Updated 2 years ago
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆39Updated 2 years ago
• kmbarry1 / fund-eq-of-dai-certora
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Updated last year
• exp-table / starknet-playground
  My playgrounderino for starkneterino
  ☆13Updated 4 years ago
• mattsse / defi-bindings
  rust bindings for various defi projects
  ☆65Updated 3 years ago
• sigp / enr
  Ethereum Node Record
  ☆64Updated 4 months ago