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 2 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆19Updated 7 months ago
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 3 months ago
• Certora / Documentation
  ☆17Updated this week
• unhackedctf / schnoodle
  unhacked challenge 2: schnoodle
  ☆21Updated 2 years ago
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 2 years ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• hrkrshnn / notes
  ☆51Updated last year
• emo-eth / forge-gas-metering
  utilities for more granular and realistic gas measuring in forge tests
  ☆30Updated last year
• antoncoding / gas-diff-action
  Compares gas usage in Solidity projects using Foundry and comments the changes on the PR
  ☆23Updated 5 months ago
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated last year
• primitivefinance / pso-sol
  Primitive Standards (PSO) for solidity. Forked from solcurity: opinionated security and code quality standard for Solidity smart contract…
  ☆15Updated 2 years ago
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆19Updated 2 weeks ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 2 years ago
• lightclient / protocol-ctf
  Introduction to core development via CTF challenges
  ☆40Updated 2 years ago
• georgercarder / compression
  solidity compression utility
  ☆20Updated 5 months ago
• brockelmore / graphstack
  ☆54Updated 2 years ago
• Philogy / gud-cdf
  ☆16Updated 8 months ago
• Certora / FoundryIntegration
  Certora integration with the Forge testing framework of Foundry
  ☆20Updated last year
• 0xkarmacoma / gas-benchmark-anvil
  a little foundry template that shows how to use anvil to run gas benchmarks
  ☆33Updated 2 years ago
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 6 months ago
• joejordan / CramBit
  A Solidity library designed to cram as many arbitrary values into as small a space as possible.
  ☆44Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 2 years ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆49Updated last year
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated last year
• jtriley2p / super-liquidator
  ☆33Updated 2 years ago
• brockelmore / contract_grabber
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30Updated 2 years ago