Alternatives and similar repositories for CertoraProverSupplementary:

Users that are interested in CertoraProverSupplementary are comparing it to the libraries listed below

• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated last year
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated last year
• Certora / Documentation
  ☆17Updated this week
• hrkrshnn / notes
  ☆51Updated last year
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆19Updated 3 months ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 4 months ago
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• vicnaum / huff-immutables
  Dynamic constructor-initializable immutables example in Huff
  ☆15Updated 2 years ago
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 4 months ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• leonardoalt / sol-macros
  ☆31Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆52Updated 2 years ago
• jtriley-eth / super-liquidator
  ☆33Updated 2 years ago
• antoncoding / gas-diff-action
  Compares gas usage in Solidity projects using Foundry and comments the changes on the PR
  ☆23Updated 3 months ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆39Updated 2 years ago
• PraneshASP / yul2huff
  A simple tool to convert Yul arithmetic expressions to Huff
  ☆14Updated last year
• OlympusDAO / test-utils
  Foundry test utils.
  ☆29Updated 2 years ago
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated 8 months ago
• Philogy / sussy-huff-ctf
  ☆29Updated last year
• defi-principles / draft-defi-principles
  ☆37Updated 3 years ago
• emo-eth / upgradeable-storage-checks
  Example setup of Forge tests and CI to do basic checks for storage collisions when iterating on upgradeable contract implementations.
  ☆28Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆54Updated 2 years ago
• sense-finance / auto-roller
  Rolling Liquidity Vault: an ERC4626 compliant vault, passive liquidity vault built atop Sense Space Pools
  ☆27Updated last year
• refcell / metamorphic
  Huff-based Smart Contracts for creating Metamorphic (or "redeployable") EVM Contracts.
  ☆46Updated last year
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆49Updated last year