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
• pmerkleplant / Hats-Finance-Game-Solution
  A solution to hats.finance's first CTF challenge
  ☆10Updated 2 years ago
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆13Updated last year
• code-423n4 / 2023-08-goodentry
  ☆11Updated last year
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆10Updated last year
• Tokemak / v2-core-audit-2023-07-14
  ☆10Updated last year
• t4sk / vault-inflation
  ☆10Updated last year
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• mdulin2 / sushi_swap_expliot_2023
  ☆10Updated 2 years ago
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆11Updated 9 months ago
• Cyfrin / 2-math-master-audit
  ☆11Updated last year
• akshaysrivastav / first-deposit-bug-compv2
  Detailed PoC for First Deposit Bug in Compound V2
  ☆15Updated 2 years ago
• gretzke / hardhat-typescript-template
  ☆10Updated last year
• MiloTruck / sorella-notes
  ☆12Updated 5 months ago
• PatrickAlphaC / fuzzing-example
  ☆10Updated 2 years ago
• Oxwagmi / Cyfrin-foundry-challenges
  My solutions for the challenges of Pattrick Collins foundry course | on Arbitrum MainnetFork
  ☆12Updated last year
• k-g-j / foundry-uniswap-examples
  ☆7Updated 2 years ago
• MrToph / hats-finance-ctf
  ☆10Updated 2 years ago
• kadenzipfel / audit-portfolio
  Publicly available audits and bug reports
  ☆16Updated 3 weeks ago
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago
• 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
• SovaSlava / proxies
  Different types of proxies patterns
  ☆10Updated 2 years ago
• devtooligan / huff-spearbit-demo
  ☆17Updated 8 months ago
• kadenzipfel / veLP
  Curve style voting escrow (ve) Uniswap v4 hook contract
  ☆24Updated last year
• Cyfrin / 2023-10-Puppy-Raffle
  ☆12Updated 8 months ago
• 0xfps / my-solidity
  A pack of all solidity codes, I've written not joined to my lessons.
  ☆8Updated 2 years ago
• catellaTech / REENTRANCY-ATTACK-FOUNDRY
  Making a Reentrancy test with Foundry!
  ☆13Updated 2 years ago
• code-423n4 / 2023-04-rubicon
  ☆7Updated last year
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated last month