Alternatives and similar repositories for solmate-invariants

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

• morpho-org / morpho-certora-tutorials
  ☆10Updated 2 years ago
• 0xRajkumar / lendnow
  ☆9Updated 2 years ago
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆12Updated last year
• pmerkleplant / Hats-Finance-Game-Solution
  A solution to hats.finance's first CTF challenge
  ☆10Updated 3 years ago
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆10Updated 10 months ago
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆10Updated last year
• mdulin2 / sushi_swap_expliot_2023
  ☆10Updated 2 years ago
• akshaysrivastav / first-deposit-bug-compv2
  Detailed PoC for First Deposit Bug in Compound V2
  ☆15Updated 2 years ago
• PatrickAlphaC / fuzzing-example
  ☆10Updated 2 years ago
• levx-io / contracts
  ☆8Updated 2 years ago
• code-423n4 / 2023-08-goodentry
  ☆11Updated last year
• gretzke / hardhat-typescript-template
  ☆10Updated last year
• t4sk / vault-inflation
  ☆9Updated last year
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago
• MiloTruck / sorella-notes
  ☆12Updated 7 months ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated last year
• code-423n4 / 2022-06-putty
  ☆12Updated last year
• MrToph / hats-finance-ctf
  ☆10Updated 3 years ago
• electisec / reports
  Content for Electisec Reports Site
  ☆27Updated this week
• secureum / secureum-a-maze-x-challenges
  ☆18Updated 2 years ago
• 0xfps / my-solidity
  A pack of all solidity codes, I've written not joined to my lessons.
  ☆8Updated 2 years ago
• jtriley2p / tcontext
  ☆10Updated last year
• bbayazit16 / deep-evm
  Learn about the EVM, Assembly and Bytecode.
  ☆10Updated 3 years ago
• Cyfrin / 2-math-master-audit
  ☆11Updated last year
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated 3 weeks ago
• emo-eth / ApeCoinStaking
  Template for working with the ApeCoinStaking smart contract in Foundry
  ☆10Updated 2 years ago
• aviggiano / coypu
  Coypu is an open source static analyzer that competes on Code4rena Bot Races. Prizes are held on a community multisig and split amongst a…
  ☆10Updated last year
• Oxwagmi / Cyfrin-foundry-challenges
  My solutions for the challenges of Pattrick Collins foundry course | on Arbitrum MainnetFork
  ☆12Updated last year
• jbx-protocol / juice-buyback
  Delegate which will always take the most advantageous path for users between minting and swapping token project when triggering pay()
  ☆10Updated last year