Alternatives and similar repositories for pyrometer:

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

• a16z / halmos
  A symbolic testing tool for EVM smart contracts
  ☆865Updated this week
• spearbit / portfolio
  ☆526Updated 2 weeks ago
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆305Updated last month
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆442Updated 2 months ago
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆446Updated 7 months ago
• RareSkills / huff-puzzles
  These exercises were created for our Advanced Solidity Bootcamp and open sourced. Learn EVM bytecode with the Huff Language.
  ☆382Updated 5 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆500Updated last year
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆524Updated 10 months ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆454Updated 2 months ago
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆523Updated 6 months ago
• pessimistic-io / slitherin
  Slither Detectors by Pessimistic.io
  ☆357Updated 7 months ago
• PaulRBerg / foundry-template
  Foundry-based template for developing Solidity smart contracts
  ☆586Updated last month
• spearbit / armory
  A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…
  ☆398Updated last year
• 0xKitsune / EVM-Book
  A collection of EVM related information.
  ☆328Updated 2 years ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆467Updated 3 weeks ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆348Updated this week
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆586Updated 2 years ago
• immunefi-team / forge-poc-templates
  ☆423Updated 3 months ago
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆678Updated 5 months ago
• dabit3 / foundry-cheatsheet
  ☆532Updated this week
• anthias-labs / arbiter
  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
  ☆690Updated 4 months ago
• 0xKitsune / solstat
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆430Updated last year
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆390Updated 2 years ago
• Consensys / solidity-metrics
  Solidity Code Metrics
  ☆255Updated 2 months ago
• RareSkills / solidity-riddles
  A collection of Solidity security exercises and puzzles to test your knowledge of Solidity's more esoteric features. Some are easy, and s…
  ☆322Updated last year
• pcaversaccio / snekmate
  State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
  ☆534Updated this week
• ciaranmcveigh5 / ethernaut-x-foundry
  Ethernaut puzzles solved with foundry
  ☆272Updated last year
• fvictorio / evm-puzzles
  A collection of EVM puzzles
  ☆827Updated last year
• refcell / femplate
  Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.
  ☆382Updated last year
• sirhashalot / SCV-List
  Smart Contract Vulnerabilities (SCV) List
  ☆479Updated last year