Alternatives and similar repositories for halmos:

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

• nascentxyz / pyrometer
  A tool for analyzing the security and parameters of a solidity smart contract
  ☆764Updated 2 months ago
• spearbit / portfolio
  ☆537Updated this week
• fvictorio / evm-puzzles
  A collection of EVM puzzles
  ☆833Updated last year
• Picodes / 4naly3er
  Static smart contract code 4naly3er
  ☆530Updated 8 months ago
• PaulRBerg / foundry-template
  Foundry-based template for developing Solidity smart contracts
  ☆595Updated this week
• dmfxyz / murky
  Merkle Proof Generator and Validator in Solidity
  ☆447Updated last month
• 0xJuancito / multichain-auditor
  Observations and tips checklist for auditing protocols on multiple chains 🧐
  ☆691Updated 7 months ago
• ComposableSecurity / SCSVS
  Smart Contract Security Verification Standard
  ☆477Updated 2 months ago
• electisec / defi-fork-bugs
  Bugs in commonly forked DeFi protocols
  ☆460Updated 4 months ago
• crytic / medusa
  Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
  ☆366Updated this week
• huff-language / huffmate
  A library of modern, hyper-optimized, and extensible Huff contracts with extensive testing and documentation built by Huff maintainers.
  ☆453Updated 9 months ago
• 0xcacti / awesome-oracle-manipulation
  Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.
  ☆525Updated last year
• anthias-labs / arbiter
  A blazing-fast Ethereum sandbox that lets developers orchestrate event-driven simulations.
  ☆704Updated 5 months ago
• nicolasgarcia214 / damn-vulnerable-defi-foundry
  Damn Vulnerable DeFi - Foundry Version
  ☆503Updated last year
• pcaversaccio / snekmate
  State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.
  ☆545Updated this week
• crytic / properties
  Pre-built security properties for common Ethereum operations
  ☆316Updated 3 months ago
• Jon-Becker / heimdall-rs
  Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts…
  ☆1,304Updated this week
• crisgarner / awesome-foundry
  A curated list of awesome of the Foundry development framework.
  ☆1,169Updated 6 months ago
• paradigmxyz / paradigm-ctf-2022
  Puzzles used in the 2022 Paradigm CTF
  ☆390Updated 2 years ago
• huff-language / huff-rs
  A low-level assembly language for the Ethereum Virtual Machine built in blazing-fast pure rust.
  ☆601Updated 5 months ago
• 0xKitsune / solstat
  A Solidity static analyzer to identify contract vulnerabilities and gas efficiencies.
  ☆432Updated last year
• d-xo / weird-erc20
  weird erc20 tokens
  ☆1,529Updated 8 months ago
• Quillhash / Solidity-Attack-Vectors
  This Repository contains list of Common Solidity SmartContract Attack Vectors. If you find any attack vectors missing, you can create a p…
  ☆438Updated last year
• OpenCoreCH / smart-contract-auditing-heuristics
  Heuristics for smart contract auditors
  ☆591Updated 2 years ago
• coinbase / solidity-style-guide
  ☆501Updated 7 months ago
• Ackee-Blockchain / wake
  Wake is a Python-based Solidity development and testing framework with built-in vulnerability detectors
  ☆286Updated this week
• 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…
  ☆402Updated last year
• 0xPARC / zk-bug-tracker
  A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.
  ☆656Updated 3 months ago
• 0age / create2crunch
  A Rust program for finding salts that create gas-efficient Ethereum addresses via CREATE2.
  ☆514Updated 8 months ago
• immunefi-team / forge-poc-templates
  ☆447Updated 2 weeks ago