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
• refcell / stdtests
  Extensive Tests with the Forge Standard Library,
  ☆20Updated 3 years ago
• brockelmore / contract_grabber
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30Updated 3 years ago
• 0xbyte0 / tictactoe.sol
  An optimized tic-tac-toe game in solidity
  ☆27Updated 3 years ago
• Maddiaa0 / huff-vrgda
  Huff Implementation of VRGDAs
  ☆41Updated 2 years ago
• sinasab / MergeSplitTokens
  ☆42Updated 3 years ago
• 0xkitetsu-dinesh / Learning-EVM-using-Yul-Huff
  Gas Golfing using Huff and Yul
  ☆82Updated 3 years ago
• sky-ecosystem / dss-kiln
  Slow burner for protocol assets.
  ☆33Updated 2 years ago
• Philogy / not-so-static
  Solidity transient storage that's mutable from within a `STATICCALL`
  ☆24Updated 3 months ago
• hrkrshnn / solidity101
  A basic introduction to solidity, at the ETHLisbon hackathon.
  ☆14Updated 3 years ago
• Certora / FoundryIntegration
  Certora integration with the Forge testing framework of Foundry
  ☆21Updated 2 years ago
• d1ll0n / scuffed-abi
  Library for creating corrupted calldata.
  ☆27Updated 2 years ago
• kjr217 / foundry-python-template
  ☆41Updated 2 years ago
• huff-language / vscode-huff
  An interactive VSCode extension that enables developers to visualize, debug, and break down Huff contracts.
  ☆50Updated last year
• Certora / Documentation
  ☆17Updated last week
• tarrencev / forge-optimism
  ☆58Updated 3 years ago
• devtooligan / huffhuffpass
  ☆28Updated 3 years ago
• d3or / sol-trees
  A binary search tree implementation in Solidity
  ☆20Updated 3 years ago
• refcell / protec
  An Isolated Safe Environment to Execute Foundry Projects.
  ☆44Updated 3 years ago
• sense-finance / space-v1
  Sense Space: a YieldSpace implementation with a native yield-bearing side and an oracle
  ☆38Updated 2 years ago
• counterdao / dss
  Decentralized Summation System
  ☆46Updated 3 years ago
• spearbit / echidna-spearbit-demo
  Example code for testing using Echidna explained during the Spearbit presentation
  ☆32Updated 3 years ago
• PaulRBerg / check-same-sign
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆47Updated 3 years ago
• 0xKitsune / EVM-Puzzles-Walkthrough
  ☆41Updated 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
• hrkrshnn / notes
  ☆51Updated last year
• storming0x / foundry-yearnV2-gen-lev-lending
  ☆50Updated 3 years ago
• EVM-SMT / solver
  proof first, evm specific smt solver
  ☆69Updated 3 years ago
• plotchy / jop-foundry
  ☆21Updated 3 years ago
• Will-Smith11 / sks
  Submodules Kill Solidity
  ☆38Updated 2 years ago