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 4 months ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆58Updated 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 last year
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated 3 months ago
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆22Updated 4 months ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆27Updated last year
• Gaon3 / ethers-literal
  ☆14Updated last year
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆18Updated 3 weeks ago
• noir-lang / book
  ☆15Updated last year
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆37Updated last year
• meoawtistic / ruff
  ☆37Updated 2 years ago
• ProjectOpenSea / seaport-sol
  Solidity helpers for working with Seaport on and off-chain using Forge scripts
  ☆21Updated 8 months ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆24Updated 6 months ago
• reilabs / lampe
  Extracting the semantics of Noir to Lean for formal verification
  ☆19Updated this week
• iden3 / circom_runtime
  circom runtime
  ☆20Updated 3 months ago
• fe-lang / sonatina
  ☆48Updated 3 weeks ago
• makerdao / mkr-mcd-spec
  High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
  ☆28Updated 2 years ago
• mattsse / cairo-lang-rs
  ☆39Updated 2 years ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆26Updated 3 years ago
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆25Updated 2 months ago
• vorot93 / otterscan-rs
  Rust wrapper for Otterscan, fast, local and privacy-friendly block explorer.
  ☆24Updated 2 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated last month
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 2 years ago
• NethermindEth / Taiko-Preconf-AVS
  ☆13Updated this week
• williamberman / evm-symbolic-execution
  ☆36Updated 2 years ago