Alternatives and similar repositories for CertoraProverSupplementary

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

• crytic / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆40Updated 3 years ago
• d1ll0n / scuffed-abi
  Library for creating corrupted calldata.
  ☆27Updated 2 years ago
• defi-principles / draft-defi-principles
  ☆37Updated 3 years ago
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated last year
• refcell / stdtests
  Extensive Tests with the Forge Standard Library,
  ☆20Updated 3 years ago
• d3or / sol-trees
  A binary search tree implementation in Solidity
  ☆20Updated 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
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 3 years ago
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 3 years ago
• sinasab / MergeSplitTokens
  ☆42Updated 3 years ago
• Certora / Documentation
  ☆17Updated this week
• OlympusDAO / test-utils
  Foundry test utils.
  ☆29Updated 3 years ago
• plotchy / jop-foundry
  ☆21Updated 3 years ago
• hats-finance / games
  ☆37Updated 3 years ago
• hrkrshnn / notes
  ☆51Updated 2 years ago
• Saw-mon-and-Natalie / forge-etk-template
  ⛳ Template for Forge + EVM Toolkit
  ☆55Updated 3 years ago
• spearbit / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆31Updated 3 years ago
• 0xbyte0 / tictactoe.sol
  An optimized tic-tac-toe game in solidity
  ☆26Updated 3 years ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 3 years ago
• huff-language / huff-breakage
  Incorrect, Breaking, and Footgunned Huff Contracts.
  ☆30Updated 2 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆51Updated 3 years ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆50Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆58Updated 2 years ago
• Sabnock01 / yield-mentorship
  Repo for Yield Protocol 2022 mentorship lessons
  ☆26Updated 3 years ago
• brockelmore / graphstack
  ☆55Updated 3 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆81Updated 3 years ago
• 0xvv / BatchDepositHuff
  Efficient beacon chain batch deposit contract written in huff
  ☆22Updated 2 years ago
• perimetersec / resources
  Public resources on fuzzing services, methodologies, and benefits for protocol security.
  ☆26Updated 4 months ago
• PaulRBerg / check-same-sign
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆46Updated 3 years ago