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
• MrToph / hats-finance-ctf
  ☆10Updated 3 years ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated 2 years ago
• bronzepickaxe / old-curta-puzzles
  Directory with previous Curta puzzlest that were hosted on Curta.wtf
  ☆10Updated 10 months ago
• Jesserc / Secp256k1-huff
  Secp256k1 Elliptic Curve Library Written In Huff
  ☆5Updated last year
• emilianobonassi / curve-whitehack-example
  Example of the whitehack for Curve exploit 30/07/23
  ☆19Updated last year
• 0xClandestine / multisig
  ☆10Updated 2 years ago
• clabby / huff-clones
  clones-with-immutable-args by wighawag written in Huff.
  ☆27Updated 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
• 0xcacti / tictactoe
  Solidity implementation of tictactoe with heavy influence from fiveoutofnine.
  ☆10Updated last year
• jtriley2p / tcontext
  ☆10Updated last year
• levx-io / contracts
  ☆8Updated 2 years ago
• sushiswap / strategies
  Strategies for BentoBox
  ☆11Updated 2 years ago
• devtooligan / huff-spearbit-demo
  ☆16Updated 9 months ago
• SkidsDAO / awesome-cairo-security
  A curated list of security related material for the growing starknet ecosystem particularly cairo smart contracts.
  ☆14Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated last year
• z80dev / gascomps
  gas comparisons between vyper and solady
  ☆20Updated 8 months ago
• alexanderattar / solidity-tools
  General space for Solidity smart contract code and notes
  ☆10Updated last year
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• valorem-labs-inc / LibDDRV
  Generate discrete random variates from a set of dynamically weighted elements in Solidity using a forest of trees data structure, based o…
  ☆12Updated 2 years ago
• omeguhh / Huff-By-Example
  Solidity By Example rewritten in Huff, the most based low-level EVM language.
  ☆34Updated last year
• chinmay-farkya / Yul-contracts
  ☆10Updated 2 years ago
• YAcademy-Residents / Proxies-website
  Go-to compilation of smart contract proxy information, for discerning devs and auditors
  ☆23Updated 2 months ago
• AmadiMichael / tstore-huff-template
  Tstore huff template
  ☆17Updated last year
• Philogy / sussy-huff-ctf
  ☆29Updated 2 years ago
• minaminao / huff-eip1167
  EIP-1167 Minimal Proxy Contract written in Huff
  ☆25Updated 2 years ago