Alternatives and similar repositories for yul-isabelle:

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

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 5 months ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 2 years ago
• realbigsean / mock-relay
  ☆21Updated last year
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆29Updated last year
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 2 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
• makerdao / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated 2 years ago
• ProjectOpenSea / seaport-sol
  Solidity helpers for working with Seaport on and off-chain using Forge scripts
  ☆21Updated 9 months ago
• RagePit / micro-rust-evm
  ☆22Updated 2 years ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆32Updated 4 months ago
• noir-lang / book
  ☆15Updated last year
• 0xKitsune / Optimized-Merkle-Proof
  ☆17Updated 2 years ago
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 5 months ago
• 03ladr / xevm
  evm implementation in rust
  ☆16Updated 2 years ago
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• cowprotocol / cow-amm
  An automated market maker running on top of CoW Protocol
  ☆17Updated 5 months ago
• leonardoalt / sol-macros
  ☆31Updated 2 years ago
• umbracle / geth-data-layer
  Go library to access the blockchain state of Go-ethereum
  ☆16Updated 2 years ago
• brockelmore / rust-cevm
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆47Updated 3 years ago
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆22Updated 6 months ago
• leonardoalt / hevm_paper
  ☆12Updated 3 years ago
• nmushegian / minilang
  term rewrite system for bootstrapping languages
  ☆9Updated 2 years ago
• meoawtistic / ruff
  ☆37Updated 2 years ago
• Gaon3 / ethers-literal
  ☆14Updated last year
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• mattdf / vim-yul
  Syntax files for Yul
  ☆18Updated 3 years ago
• leonardoalt / SolPrologV2
  A Prolog engine written in Solidity.
  ☆16Updated 3 years ago
• dapp-org / dappsys-v2
  ☆30Updated 2 years ago
• nikitastupin / solc
  `solc` binaries for linux aarch64
  ☆19Updated 4 months ago