Alternatives and similar repositories for solmate-math-fuzz

Users that are interested in solmate-math-fuzz are comparing it to the libraries listed below

• paradigmxyz / paradigm-ctf-2022-teaser

  View on GitHub
  https://rinkeby.etherscan.io/address/0xffb9205c84d0b209c215212a3cdfc50bf1cfb0e0#code
  ☆40Jan 18, 2022Updated 4 years ago
• 0xKitsune / Foundry-Huff

  View on GitHub
  A Foundry template to compile and test Huff contracts.
  ☆51Jun 21, 2022Updated 3 years ago
• Saw-mon-and-Natalie / forge-etk-template

  View on GitHub
  ⛳ Template for Forge + EVM Toolkit
  ☆54Jun 3, 2022Updated 3 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• brockelmore / contract_grabber

  View on GitHub
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30May 7, 2022Updated 3 years ago
• clabby / huff-clones

  View on GitHub
  clones-with-immutable-args by wighawag written in Huff.
  ☆28Sep 15, 2022Updated 3 years ago
• hrkrshnn / crunchvanity

  View on GitHub
  ☆40Aug 23, 2022Updated 3 years ago
• PaulRBerg / check-same-sign

  View on GitHub
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Jul 17, 2022Updated 3 years ago
• PraneshASP / huff-goo-issuance

  View on GitHub
  GOO(Gradual Ownership Optimization) issuance implementation using Huff
  ☆34Oct 1, 2022Updated 3 years ago
• joelburget / evm-rust

  View on GitHub
  Minimal EVM implementation in Rust
  ☆29Mar 28, 2018Updated 7 years ago
• refcell / protec

  View on GitHub
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Jul 22, 2022Updated 3 years ago
• transmissions11 / publications

  View on GitHub
  Collection of reports/articles/publications/etc of mine.
  ☆50May 26, 2022Updated 3 years ago
• spearbit / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Jul 9, 2022Updated 3 years ago
• marktoda / paradigm-ctf

  View on GitHub
  My notes and code from the Paradigm CTF
  ☆41Aug 22, 2022Updated 3 years ago
• Philogy / huff-weth

  View on GitHub
  ☆23Jul 1, 2023Updated 2 years ago
• brockelmore / graphstack

  View on GitHub
  ☆55Oct 4, 2022Updated 3 years ago
• axiom-crypto / uniswap-v3-oracles

  View on GitHub
  Trustless oracle of historical Uniswap v3 TWAP using ZK
  ☆38May 11, 2023Updated 2 years ago
• leonardoalt / sol_generic_vector

  View on GitHub
  Generic Vector library for Solidity
  ☆27Mar 21, 2022Updated 3 years ago
• noxx3xxon / evm-by-example

  View on GitHub
  ☆74Jun 28, 2022Updated 3 years ago
• kadenzipfel / bit-packed-map

  View on GitHub
  On-chain 8x8 bitmap svg packed into a single 32 byte storage slot.
  ☆64Jul 14, 2022Updated 3 years ago
• hrkrshnn / seaport-utils

  View on GitHub
  ☆19Jun 20, 2022Updated 3 years ago
• orenyomtov / doves-in-the-wind-ctf-solution

  View on GitHub
  This is my solution. If you think you can further optimize it - be my guest!
  ☆22Oct 8, 2022Updated 3 years ago
• devtooligan / bit-magic-huff-speedrun

  View on GitHub
  Speedrun this in Huff https://saxenism.com/web3/solidity/language-tricks/bit-magic/intermediate/2022/09/06/Bit-Magic-Solidity.html
  ☆21Oct 7, 2022Updated 3 years ago
• crytic / echidna-spearbit-demo

  View on GitHub
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Jul 6, 2022Updated 3 years ago
• 0xkarmacoma / snow-computer-club

  View on GitHub
  ☆17Aug 29, 2022Updated 3 years ago
• Saw-mon-and-Natalie / ERC20-Golf

  View on GitHub
  ERC20.⛳
  ☆20May 4, 2022Updated 3 years ago
• EVM-SMT / solver

  View on GitHub
  proof first, evm specific smt solver
  ☆69Apr 11, 2022Updated 3 years ago
• mds1 / solidity-generators

  View on GitHub
  Solidity library offering linspace, arange, and logspace methods to generate evenly spaced arrays.
  ☆120Mar 22, 2023Updated 2 years ago
• jpopesculian / soli

  View on GitHub
  Solidity REPL
  ☆88Aug 30, 2022Updated 3 years ago
• d1ll0n / stack-packer

  View on GitHub
  Solidity library generator for compact struct encoding on the stack.
  ☆110Mar 19, 2023Updated 2 years ago
• recmo / experiment-solexp

  View on GitHub
  Fixed point solidity exponentiation.
  ☆75Apr 11, 2022Updated 3 years ago
• mempirate / reth-p2p-showcase

  View on GitHub
  ☆51Jan 22, 2024Updated 2 years ago
• Maddiaa0 / huff-vrgda

  View on GitHub
  Huff Implementation of VRGDAs
  ☆41Sep 12, 2022Updated 3 years ago
• lightclient / protocol-ctf

  View on GitHub
  Introduction to core development via CTF challenges
  ☆41Sep 9, 2022Updated 3 years ago
• a16z / halmos-cheatcodes

  View on GitHub
  ☆70May 14, 2025Updated 9 months ago
• mds1 / solidity-fuzzing-benchmarks

  View on GitHub
  Solidity contracts and tests used to benchmark performance of fuzzers
  ☆21Jan 24, 2022Updated 4 years ago
• plotchy / jop-foundry

  View on GitHub
  ☆21Mar 31, 2022Updated 3 years ago
• 0xMisaka / Sol-MagicCounter

  View on GitHub
  ☆93Mar 27, 2022Updated 3 years ago
• maurelian / solidity-sandbox

  View on GitHub
  A forkable template repo for easily writing and testing toy contracts
  ☆152Jan 24, 2024Updated 2 years ago