A forkable template repo for easily writing and testing toy contracts
☆65Sep 10, 2025Updated last year
Alternatives and similar repositories for halmos-sandbox
Users that are interested in halmos-sandbox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- List of Halmos resources.☆63Feb 14, 2025Updated last year
- Formally verifying consistency between Solmate and Solady using Halmos☆58Aug 22, 2024Updated 2 years ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- Cheaper (up to 35k gas) Create3 deployments for small sized contracts (<= ~3.6KB).☆30Jan 28, 2025Updated last year
- Talk with EVM Bytecode using webLLM☆15Jan 26, 2025Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- easy POC template generation from the command line☆324Jan 10, 2024Updated 2 years ago
- Modify ASTs Easily & Reliably☆17Dec 22, 2023Updated 2 years ago
- easy POC template generation from the command line☆78Aug 30, 2024Updated 2 years ago
- A forkable template repo for easily writing and testing toy contracts☆150Jan 24, 2024Updated 2 years ago
- Pre-built security properties for common Ethereum operations☆371Mar 9, 2026Updated 7 months ago
- Using mutations to improve specs and test suites☆212Aug 12, 2026Updated 2 months ago
- Smart contract fuzzer for Foundry projects — Echidna-inspired, written in Rust☆20Jul 28, 2026Updated 2 months ago
- eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts.☆38Nov 22, 2025Updated 11 months ago
- ☆75Aug 7, 2026Updated 2 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆29Aug 7, 2023Updated 3 years ago
- ☆52Apr 18, 2023Updated 3 years ago
- An efficient constant gas function dispatch pattern for solidity external libraries.☆14Sep 1, 2023Updated 3 years ago
- A markdown based template for writing spearbit reports☆37Jul 18, 2024Updated 2 years ago
- A simple contract to accurately measure gas consumption of contract calls☆19May 3, 2024Updated 2 years ago
- ☆13May 31, 2024Updated 2 years ago
- public audit & bug reports☆279Oct 7, 2024Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆112Oct 6, 2026Updated 2 weeks ago
- A symbolic testing tool for EVM smart contracts☆1,035Aug 6, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- Collection of staking related contracts☆30Jun 25, 2024Updated 2 years ago
- Audits and findings by MiloTruck☆178Jul 29, 2025Updated last year
- Collection of past CTFs to play and practice locally.☆55Aug 7, 2026Updated 2 months ago
- ☆20Jun 15, 2022Updated 4 years ago
- EVM Calldata Zip, aka czip☆106Feb 13, 2026Updated 8 months ago
- 🕵️ Check ERC20 token implementations on all chains.☆18Jan 6, 2024Updated 2 years ago
- ☆47Mar 8, 2024Updated 2 years ago
- gas comparisons between vyper and solady☆19Sep 21, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A comparison of solidity fuzzing tools Foundry, Echidna & Medusa☆193Feb 1, 2025Updated last year
- anniversary-ctf☆10Aug 20, 2024Updated 2 years ago
- Bugs in commonly forked DeFi protocols☆492Oct 3, 2025Updated last year
- Observations and tips checklist for auditing protocols on multiple chains 🧐☆713Feb 4, 2026Updated 8 months ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 3 years ago
- This is my solution. If you think you can further optimize it - be my guest!☆22Oct 8, 2022Updated 4 years ago
- Solidity counter type that bypasses checked arithmetic☆12Oct 10, 2026Updated last week