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 3 years ago
• code-423n4 / 2022-06-putty
  ☆12Updated 2 years ago
• akshaysrivastav / first-deposit-bug-compv2
  Detailed PoC for First Deposit Bug in Compound V2
  ☆16Updated 2 years ago
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆10Updated last year
• elhajin / Groth16
  Minimalistic Growth16 snark system.
  ☆10Updated 2 years ago
• AngleProtocol / safe-multisig
  Utils to publish transaction create via Foundry on Gnosis Safe
  ☆14Updated last year
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• code-423n4 / 2023-08-goodentry
  ☆11Updated last year
• catellaTech / REENTRANCY-ATTACK-FOUNDRY
  Making a Reentrancy test with Foundry!
  ☆14Updated 2 years ago
• abhi3700 / evm-playground
  Solidity, Vyper Contracts for EVM chains like Ethereum, Polygon, BSC, [helpful for EOSIO Developers]
  ☆11Updated 10 months ago
• mdulin2 / sushi_swap_expliot_2023
  ☆10Updated 2 years ago
• Oxwagmi / Cyfrin-foundry-challenges
  My solutions for the challenges of Pattrick Collins foundry course | on Arbitrum MainnetFork
  ☆12Updated 2 years ago
• Timidan / TimidanOnchain
  ☆12Updated 3 years ago
• jordanteague / SimpleBondingCurve
  ☆10Updated 3 years ago
• Pearl-Finance / pearl-contracts
  ☆10Updated 2 years ago
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆11Updated last year
• gretzke / hardhat-typescript-template
  ☆10Updated 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
• Transient-Labs / tl-creator-contracts
  Transient Labs Creator Contracts enabling creators to innovate with their own sovereign smart contracts.
  ☆13Updated 2 weeks ago
• onahprosper / yul
  ☆11Updated 2 years ago
• bbayazit16 / deep-evm
  Learn about the EVM, Assembly and Bytecode.
  ☆10Updated 3 years ago
• gen-dot-art / contracts
  ☆12Updated 2 years ago
• jtriley2p / tcontext
  ☆10Updated last year
• FraxFinance / frxETH-public
  Frax Staked Ethereum
  ☆12Updated last year
• webthethird / UpgradeScanner
  A Python script to scan EVM-based blockchains for smart contract upgrades
  ☆10Updated 2 years ago
• alexanderattar / solidity-tools
  General space for Solidity smart contract code and notes
  ☆10Updated last year
• sarangparikh22 / xF33d
  Cross Chain Oracle Feeds
  ☆10Updated 2 years ago
• Cyfrin / 2023-10-SteadeFi
  ☆10Updated last year
• Turupawn / PrivacyDAppDemo
  ☆11Updated last year
• willisk / VestingVault
  solidity smart contract token vesting vault for BEP20 / ERC20 tokens. Includes tests.
  ☆11Updated 3 years ago