Alternatives and similar repositories for CertoraProverSupplementary

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

• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated 10 months ago
• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated 2 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆23Updated last year
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 3 years ago
• antoncoding / gas-diff-action
  Compares gas usage in Solidity projects using Foundry and comments the changes on the PR
  ☆23Updated 9 months ago
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• 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
• obatirou / HuffFaucet
  Implementation of a faucet in Huff with differential fuzzing vs solidity
  ☆14Updated 2 years ago
• vicnaum / huff-immutables
  Dynamic constructor-initializable immutables example in Huff
  ☆15Updated 2 years ago
• morpho-org / legacy-morpho-token
  Morpho token contracts.
  ☆14Updated 7 months ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆49Updated last year
• morpho-org / morpho-security
  A collection of practical security-focused guides and checklists for Morpho smart contract development.
  ☆26Updated 2 years ago
• adhusson / delegate-prank
  Delegatecall from any contract. A kind of vm.prank for delegatecalls.
  ☆19Updated 10 months ago
• leonardoalt / sol-macros
  ☆33Updated 2 years ago
• jtriley2p / sol-fun
  ☆22Updated 2 years ago
• hrkrshnn / notes
  ☆51Updated last year
• 0xbyte0 / tictactoe.sol
  An optimized tic-tac-toe game in solidity
  ☆27Updated 2 years ago
• hats-finance / games
  ☆37Updated 3 years ago
• devtooligan / Huffpoint
  Create breakpoints for use with Foundry debugger -- https://book.getfoundry.sh/cheatcodes/breakpoint
  ☆34Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆40Updated 2 years ago
• Saw-mon-and-Natalie / vscode-evm-toolkit
  EVM Toolkit language support for Visual Studio Code
  ☆18Updated 2 years ago
• 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
• jtriley2p / super-liquidator
  ☆34Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆52Updated 3 years ago
• franz101 / mev-olympics
  MEV Olympics
  ☆44Updated 7 months ago
• Certora / Documentation
  ☆17Updated last week
• radeksvarz / createx-forge
  A public good for Foundry forge based development
  ☆21Updated 9 months ago
• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago
• kalidao / ERC1155V
  Voting extension for ERC-1155 multi-token standard
  ☆12Updated 2 years ago