Alternatives and similar repositories for morpho-certora-tutorials

Users that are interested in morpho-certora-tutorials are comparing it to the libraries listed below

• pmerkleplant / Hats-Finance-Game-Solution
  A solution to hats.finance's first CTF challenge
  ☆10Updated 3 years ago
• MiloTruck / solmate-invariants
  Fuzzing solmate with medusa
  ☆10Updated last year
• kadenzipfel / veLP
  Curve style voting escrow (ve) Uniswap v4 hook contract
  ☆24Updated last year
• Jesserc / Secp256k1-huff
  Secp256k1 Elliptic Curve Library Written In Huff
  ☆5Updated last year
• MrToph / hats-finance-ctf
  ☆10Updated 3 years ago
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆10Updated 11 months ago
• SkidsDAO / awesome-cairo-security
  A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.
  ☆14Updated 3 years ago
• emilianobonassi / curve-whitehack-example
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Updated last year
• chinmay-farkya / Yul-contracts
  ☆10Updated 2 years ago
• clabby / huff-clones
  clones-with-immutable-args by wighawag written in Huff.
  ☆27Updated 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
• 0xClandestine / multisig
  ☆10Updated 2 years ago
• Yashiru / huff-stack-comments
  A visual studio code extension that automatically generate the stack comments for Huff.
  ☆26Updated last year
• yearn / Yearn-ERC4626-Router
  ERC4626 Router for Yearn V3 vaults.
  ☆10Updated last year
• 0xsomnus / curta-archive
  Helper functions enabling players to solve past curta puzzles on their own time.
  ☆31Updated last year
• 0xcacti / tictactoe
  Solidity implementation of tictactoe with heavy influence from fiveoutofnine.
  ☆10Updated last year
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated last year
• hrkrshnn / notes
  ☆51Updated last year
• erhant / huffd1
  An NFT with Huff, using polynomials over a finite field with order largest prime address, instead of mappings.
  ☆16Updated 9 months ago
• jtriley2p / tcontext
  ☆10Updated last year
• Philogy / sol-format
  ☆12Updated last year
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• levx-io / contracts
  ☆8Updated 2 years ago
• soltheon / packed_arrays
  Pack address types to utilize 100% of storage space in Solidity
  ☆11Updated last year
• alexanderattar / solidity-tools
  General space for Solidity smart contract code and notes
  ☆10Updated last year
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• nomoixyz / universal-router-vuln-poc
  ☆12Updated 2 years ago
• bbayazit16 / deep-evm
  Learn about the EVM, Assembly and Bytecode.
  ☆10Updated 3 years ago
• minaminao / huff-eip1167
  EIP-1167 Minimal Proxy Contract written in Huff
  ☆25Updated 2 years ago