Alternatives and similar repositories for yul

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

• jtriley2p / huff-style-guide
  A mostly mostly reasonable approach to Huff styling.
  ☆80Updated last year
• leonardoalt / dl_symb_exec_sol
  Symbolic execution engine written in Solidity, based on Difference Logic.
  ☆111Updated 2 years ago
• noxx3xxon / evm-by-example
  ☆76Updated 2 years ago
• JetJadeja / flashloan-workshop
  Contracts for my flashloan workshop/lecture at UPenn
  ☆77Updated 2 years ago
• jtriley2p / ether-deck
  ☆98Updated 2 years ago
• ControlCplusControlV / Foundry-Yulp
  ☆75Updated 3 years ago
• parmanuxyz / solidity-analyzer
  Solidity LSP server written in rust
  ☆56Updated 4 months ago
• gakonst / rust-ethereum-book
  Book showing how to interact with Ethereum from Rust
  ☆43Updated 3 years ago
• hananbeer / evm2
  e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.
  ☆91Updated 2 years ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆49Updated last year
• paradigmxyz / jitevm
  convert evm bytecode to native machine code and go vroom - just an experiment, probably broken, reach out to georgios@paradigm.xyz to con…
  ☆143Updated last year
• refcell / optimism-rs
  Scaling Ethereum, but this time in rust.
  ☆90Updated 2 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 2 years ago
• jtriley2p / the-rippler
  ☆75Updated last year
• whitenois3 / huff-snark-verifier
  Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.
  ☆127Updated 2 years ago
• exp-table / hyena
  Pack data tightly together and save space.
  ☆71Updated 2 years ago
• clabby / echidna-vs-forge
  Testing echidna vs. forge fuzzing
  ☆76Updated 2 years ago
• merklejerk / eth-call-tracer
  ☆46Updated last year
• 0xfuturistic / emily
  🔒💬 A protocol for credible commitments.
  ☆75Updated last year
• ScopeLift / l2-optimizoooors
  Gas efficient routers for L2 applications
  ☆114Updated 2 years ago
• 0xMacro / gas-numbers-every-solidity-dev-should-know
  ☆54Updated 2 years ago
• cairoeth / rustmate
  🦀 Blazing fast, modern, and optimized Rust building blocks for smart contract development using Stylus.
  ☆49Updated last year
• valo / eth-sim
  Fast ethereum simulator
  ☆43Updated last year
• banteg / storage-layout
  readable evm state diffs, enumerate full contract storage
  ☆135Updated last year
• primitivefinance / portfolio
  Portfolio is an automated market making protocol for implementing custom strategies at the lowest cost possible.
  ☆114Updated last year
• milancermak / cairo-4626
  EIP 4626 in Cairo lang for Starknet
  ☆51Updated 2 years ago
• moodlezoup / forge-deep
  Codegen pretty-printing and deep equality Solidity functions for the Forge testing framework
  ☆65Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• zobront / xchain
  Cross chain call library for Solidity
  ☆81Updated 2 years ago
• 0xperp / awesome-blockspace
  Overview of Blockspace its demand, pricing, and trading
  ☆50Updated 2 years ago