Alternatives and similar repositories for solmate-invariants

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

• morpho-labs / morpho-certora-tutorials
  ☆11Updated 2 years ago
• 0xRajkumar / lendnow
  ☆9Updated 2 years ago
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆13Updated last year
• pmerkleplant / Hats-Finance-Game-Solution
  A solution to hats.finance's first CTF challenge
  ☆10Updated 3 years ago
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆10Updated last year
• levx-io / contracts
  ☆8Updated 2 years ago
• code-423n4 / 2023-08-goodentry
  ☆11Updated last year
• akshaysrivastav / first-deposit-bug-compv2
  Detailed PoC for First Deposit Bug in Compound V2
  ☆15Updated 2 years ago
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆11Updated 9 months ago
• 0xfps / my-solidity
  A pack of all solidity codes, I've written not joined to my lessons.
  ☆8Updated 2 years ago
• PatrickAlphaC / fuzzing-example
  ☆10Updated 2 years ago
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• gretzke / hardhat-typescript-template
  ☆10Updated last year
• mdulin2 / sushi_swap_expliot_2023
  ☆11Updated 2 years ago
• MrToph / hats-finance-ctf
  ☆10Updated 3 years ago
• ElliotFriedman / poc-template
  Smart contract exploit proof of concept exploit standard interface
  ☆16Updated last year
• MiloTruck / sorella-notes
  ☆12Updated 6 months ago
• jtriley2p / tcontext
  ☆11Updated last year
• code-423n4 / 2022-06-putty
  ☆12Updated last year
• t4sk / vault-inflation
  ☆10Updated last year
• Cyfrin / 2-math-master-audit
  ☆11Updated last year
• N0xMare / foundry-invariants
  ☆65Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• emo-eth / ApeCoinStaking
  Template for working with the ApeCoinStaking smart contract in Foundry
  ☆10Updated 2 years ago
• iFrostizz / fether
  ☆10Updated 2 years ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated 2 years ago
• teddav / ethernaut-yul
  ☆38Updated 2 years ago
• SovaSlava / proxies
  Different types of proxies patterns
  ☆10Updated last week
• Cyfrin / 2023-10-SteadeFi
  ☆11Updated 10 months ago
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated this week