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
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆50Updated 2 years ago
• hrkrshnn / notes
  ☆51Updated 2 years ago
• Philogy / not-so-static
  Solidity transient storage that's mutable from within a `STATICCALL`
  ☆24Updated 7 months ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 3 years ago
• jtriley2p / mutexer
  ☆58Updated last year
• Certora / Documentation
  ☆17Updated this week
• eth-sc-comp / benchmarks
  Symbolic Execution Benchmarks for Ethereum Smart Contracts
  ☆20Updated last year
• alexroan / chuff
  Common Solidity contract patterns, based on OpenZeppelin's contract library, implemented in the Huff language
  ☆32Updated 3 years ago
• PraneshASP / huff-math
  This repo contains smart contract to perform basic arithmetic operations implemented using Huff
  ☆24Updated last year
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• ZeframLou / foundry-docgen
  ☆50Updated 3 years ago
• refcell / stdtests
  Extensive Tests with the Forge Standard Library,
  ☆20Updated 3 years ago
• brockelmore / HEVMHelpers
  ☆48Updated 4 years ago
• Philogy / gud-cdf
  ☆17Updated last year
• 0xkarmacoma / gas-benchmark-anvil
  a little foundry template that shows how to use anvil to run gas benchmarks
  ☆33Updated 2 years ago
• emo-eth / sol-heap
  efficient libraries for working with min-heaps in solidity
  ☆23Updated 2 years ago
• defi-principles / draft-defi-principles
  ☆37Updated 3 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆58Updated 2 years ago
• plotchy / jop-foundry
  ☆21Updated 3 years ago
• devtooligan / MyBeaconChain
  Beacon Chain from scratch
  ☆44Updated 2 years ago
• 0xKitsune / Foundry-Huff
  A Foundry template to compile and test Huff contracts.
  ☆51Updated 3 years ago
• brockelmore / graphstack
  ☆55Updated 3 years ago
• brockelmore / contract_grabber
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30Updated 3 years ago
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 3 years ago
• counterdao / dss
  Decentralized Summation System
  ☆45Updated 3 years ago
• 0xBeans / IAmTheOptimizor
  A gas competition to see who the best optimizor is
  ☆74Updated 3 years ago
• d1ll0n / scuffed-abi
  Library for creating corrupted calldata.
  ☆27Updated 2 years ago
• 0xbyte0 / tictactoe.sol
  An optimized tic-tac-toe game in solidity
  ☆26Updated 3 years ago
• sinasab / MergeSplitTokens
  ☆42Updated 3 years ago