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
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆36Updated 2 years ago
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆57Updated 3 years ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆29Updated 2 years ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆31Updated 2 years ago
• xJonathanLEI / oriac
  A toy Cairo VM implementation in Rust™
  ☆73Updated 3 years ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 3 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 8 months ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated last year
• fe-lang / sonatina
  ☆51Updated this week
• flashbots / suave-andromeda-revm
  Andromeda revm execution service
  ☆31Updated last year
• meoawtistic / ruff
  ☆37Updated 3 years ago
• nulltea / spy-pets
  Universal covert privacy-enhancing transactions for any blockchain that supports ECDSA or Schnorr
  ☆28Updated 2 years ago
• noir-lang / noirup
  Installation tooling for Noir
  ☆31Updated 2 months ago
• noir-lang / acvm
  ☆49Updated last year
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆27Updated last month
• warlock-labs / sylow
  Aims to provide an audited, elegant, minimal implementation of BLS signing, key generation, resharing over the alt-bls128 curve
  ☆45Updated 5 months ago
• proxima-one / kzg
  a simple implementation of the KZG polynomial commitment scheme
  ☆25Updated 3 years ago
• adietrichs / kzg-sharding
  ☆19Updated 3 years ago
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆23Updated last year
• brockelmore / rust-cevm
  CompEVM: Rust Ethereum Virtual Machine Implementation designed for Smart Contract Composability testing
  ☆47Updated 3 years ago
• Rate-Limiting-Nullifier / rln-contract
  Foundry project for the RLN
  ☆17Updated last year
• toposware / cheetah
  A STARK-friendly elliptic curve defined over a sextic extension of a small prime field.
  ☆40Updated last year
• 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
• ethereum / beaconrunner
  Agent-based simulation environment for PoS Ethereum
  ☆52Updated 2 years ago
• SorellaLabs / poirot-rs
  A searcher of searchers
  ☆51Updated last year
• mattsse / cairo-lang-rs
  ☆40Updated 3 years ago
• noir-lang / acvm-backend-barretenberg
  ☆41Updated last year
• 0xkarmacoma / pinball-ctf
  ☆27Updated 3 years ago
• JumpCrypto / Safu
  Creating a standard for whitehats
  ☆29Updated 2 years ago