ethereum / yul-isabelle

Related projects ⓘ

Alternatives and complementary repositories for yul-isabelle

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆18Updated 3 months ago
• cairoeth / sp1-eof
  EOF (EVM Object Format) performance benchmarks for the EVM & SP1 🏎️
  ☆30Updated last month
• axic / yultsur
  Yultsur is a Rust implementation of Yul.
  ☆56Updated 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
• Certora / CertoraProverSupplementary
  Supplementary Material to be used with the Certora Prover
  ☆17Updated 2 years ago
• maple-labs / xMPL
  Token for accruing protocol revenues
  ☆16Updated 2 years ago
• Uniswap / the-compact
  The Compact is an ownerless ERC6909 contract that facilitates the formation and mediation of reusable resource locks.
  ☆30Updated this week
• noir-lang / noirup
  Installation tooling for Noir
  ☆23Updated 4 months ago
• nomad-xyz / gelato-sdk
  a rust SDK for the gelato relay, using ethers-rs
  ☆30Updated last year
• realbigsean / mock-relay
  ☆21Updated last year
• cowprotocol / cow-amm
  An automated market maker running on top of CoW Protocol
  ☆17Updated 2 months ago
• PaulRBerg / check-same-sign
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆47Updated 2 years ago
• sambacha / zen-foundry-template
  zen minimal foundry template
  ☆28Updated 3 months ago
• ethDreamer / json_rpc_snoop
  JSON-RPC endpoint proxy that dumps requests/responses for debugging
  ☆27Updated last year
• lightclient / 4788asm
  Assembly implementation of EIP-4788 system contract.
  ☆21Updated 3 months ago
• nmushegian / minilang
  term rewrite system for bootstrapping languages
  ☆9Updated 2 years ago
• leonardoalt / sol-macros
  ☆31Updated 2 years ago
• Gaon3 / ethers-literal
  ☆14Updated last year
• ProjectOpenSea / seaport-sol
  Solidity helpers for working with Seaport on and off-chain using Forge scripts
  ☆21Updated 6 months ago
• ralexstokes / beacon-api-client
  A client for the Ethereum beacon node APIs
  ☆37Updated last year
• vorot93 / ethereum-jsonrpc
  Definitions for standard Ethereum JSONRPC APIs
  ☆12Updated 2 years ago
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated last year
• RagePit / micro-rust-evm
  ☆21Updated 2 years ago
• 0xKitsune / Optimized-Merkle-Proof
  ☆17Updated 2 years ago
• anna-carroll / 3074
  Template using EIP-3074 - AUTH and AUTHCALL in Solidity
  ☆29Updated 11 months ago
• sigp / tree_hash
  SSZ-compatible tree hash implementation optimised for speed and security
  ☆18Updated last month
• ethereum-optimism / lib-keccak
  Keccak-f[1600] permutation in the EVM
  ☆25Updated 2 weeks ago
• ralexstokes / kzg
  KZG commitments over BLS12-381
  ☆32Updated 2 years ago