Refinement proofs in Lean for EVM bytecode
☆25Oct 14, 2026Updated last week
Alternatives and similar repositories for EquiVM
Users that are interested in EquiVM are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tama is a developer tool for building formally verified Ethereum smart contracts in Verity☆25Sep 15, 2026Updated last month
- A Solidity compiler written in Zig☆58Updated this week
- Signet Orders examples in solidity☆13May 28, 2026Updated 4 months ago
- Solidity static analyzer you can talk to. MCP integration for Claude Code, Cursor, and Windsurf.☆30Jan 27, 2026Updated 8 months ago
- Per-entry-point, navigable call-graph visualizations of Solidity repositories — for Web3 security auditors.☆46Jul 17, 2026Updated 3 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Decentralized IPFS Pinning Service AVS☆12Oct 28, 2024Updated last year
- A repository containing succinct SP1 programs and prover service for proving zk evm chains on celestia☆13Jun 11, 2026Updated 4 months ago
- Accounts on any chain and platform, from a passkey.☆39Updated this week
- AI prompts for web3 security researchers — bug bounties, private audits, and contests☆22Mar 9, 2026Updated 7 months ago
- ☆13Oct 3, 2023Updated 3 years ago
- ☆19Sep 4, 2026Updated last month
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆19Oct 15, 2026Updated last week
- End-to-end agentic smart contract fuzzing and threat hunting☆106Updated this week
- ERC-3770☆18Jul 9, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🔎 Highly optimized Solidity library of statistical functions rationally approximated☆27Oct 15, 2024Updated 2 years ago
- An app to bridge USDC over Circle's CCTP interface.☆13Updated this week
- Claude skill for cloning onchain smart contracts with etherscan.☆24Apr 23, 2026Updated 5 months ago
- Solidity Reentrancy Guard implementation using Transient Storage Opcodes (EIP-1153)☆13Oct 11, 2024Updated 2 years ago
- A benchmarking platform for Solidity fuzzers☆12Jun 24, 2024Updated 2 years ago
- Reproduction of the $41M Curve reentrancy hacks on July 30 2023 using on-chain fuzzing with Echidna☆29Jul 15, 2024Updated 2 years ago
- Template for Forge with ERC-20 example tests.☆32Apr 16, 2022Updated 4 years ago
- A TypeScript library for tracing, and visualizing EVM state changes with detailed human-readable labeling.☆34Jul 24, 2025Updated last year
- ☆58Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple Rust script for finding colliding 4byte function selectors☆59Jun 12, 2023Updated 3 years ago
- AuditAgent scoring algorithm to evaluate the results of AI security scans versus a source of truth.☆18Sep 11, 2026Updated last month
- CLI debugger for Solidity and EVM.☆33Oct 15, 2026Updated last week
- Ethereum provider for terminal and browser-extension · EIP-1193☆31May 29, 2026Updated 4 months ago
- Teaching repo for tracing and metrics☆27Apr 12, 2026Updated 6 months ago
- Chicago Ethereum Meetup QF / CLR Pilot☆12Sep 28, 2023Updated 3 years ago
- ☆16Oct 29, 2022Updated 3 years ago
- Try to implement small demos of the code powering usual Java frameworks☆12Sep 29, 2026Updated 3 weeks ago
- Reproduction of the $80M Rari Finance Hack on April 30 2022 using on-chain fuzzing with Echidna☆16Jun 16, 2024Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- resilient location sharing☆13Sep 23, 2021Updated 5 years ago
- Keep time in browser for audio applications☆13Apr 15, 2015Updated 11 years ago
- Wrappers for existing Flash Lenders to be accessible as ERC7399 Flash Lenders☆30Jun 13, 2025Updated last year
- ☆14Apr 18, 2026Updated 6 months ago
- Utility methods related to public key cryptography to be used with distributed mutable storage☆15May 13, 2020Updated 6 years ago
- An opinionated, personal ADE that supports remote backends, agent tools exposed over a control plane and scriptable notification hooks in…☆15Updated this week
- create symbolic link between hyperdrives☆13Feb 19, 2017Updated 9 years ago