EVM-SMT/solver external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

EVM-SMT/solver

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/EVM-SMT/solver)

Close

EVM-SMT / solverView on GitHubMore

• External links
• Readme badge

proof first, evm specific smt solver

☆69Apr 11, 2022Updated 3 years ago

Alternatives and similar repositories for solver

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

• WilfredTA / symbolic-stack-machines

  View on GitHub
  Library for building symbolically executable stack-based virtual machines
  ☆75Oct 20, 2022Updated 3 years ago
• williamberman / evm-symbolic-execution

  View on GitHub
  ☆38Feb 11, 2022Updated 4 years ago
• kmbarry1 / fund-eq-of-dai-certora

  View on GitHub
  Succinctly prove the fundamental equation of DAI fails to hold using the Certora prover.
  ☆15Jun 4, 2024Updated last year
• hrkrshnn / solmate-math-fuzz

  View on GitHub
  ☆35Jul 8, 2022Updated 3 years ago
• libevm / univ3-butler

  View on GitHub
  Making your life easier with simple Univ3 examples
  ☆85Apr 6, 2022Updated 3 years ago
• tarungog / geth_scan

  View on GitHub
  Scans the internet for open geth RPC clients
  ☆25Jul 2, 2017Updated 8 years ago
• 0xJepsen / Ramanujan-Algorithm

  View on GitHub
  This is a solidity implementation of extremely efficient approximations for PI
  ☆28May 13, 2022Updated 3 years ago
• Rjected / salmonella

  View on GitHub
  A salmonella token built with foundry
  ☆20Apr 11, 2022Updated 3 years ago
• sky-ecosystem / mips-best-practices

  View on GitHub
  A collection of best practices and code samples for technical Maker Improvement Proposals (MIPs).
  ☆44Feb 13, 2022Updated 4 years ago
• brockelmore / contract_grabber

  View on GitHub
  Grabs multifile solidity contracts from etherscan-based explorers to view in a local editor
  ☆30May 7, 2022Updated 3 years ago
• DanielVF / evm-contract-draw

  View on GitHub
  Draw EVM contract byte code
  ☆120Apr 5, 2022Updated 3 years ago
• joelburget / evm-rust

  View on GitHub
  Minimal EVM implementation in Rust
  ☆29Mar 28, 2018Updated 7 years ago
• nascentxyz / yobot-contracts

  View on GitHub
  Experimental Contracts for Yobot
  ☆36Feb 12, 2022Updated 4 years ago
• sky-ecosystem / dss-kiln

  View on GitHub
  Slow burner for protocol assets.
  ☆33Mar 21, 2023Updated 2 years ago
• gio256 / erigon-db

  View on GitHub
  Fully typed access to the Erigon db in rust
  ☆104Aug 23, 2022Updated 3 years ago
• digama0 / frat

  View on GitHub
  DRAT proof processor
  ☆16Apr 8, 2023Updated 2 years ago
• refcell / evolve

  View on GitHub
  On-Chain Experiment Hub
  ☆14Mar 31, 2022Updated 3 years ago
• zkSoju / zen

  View on GitHub
  Zen is a token trading protocol for transferring NFTs P2P.
  ☆15Sep 7, 2022Updated 3 years ago
• recmo / experiment-solexp

  View on GitHub
  Fixed point solidity exponentiation.
  ☆75Apr 11, 2022Updated 3 years ago
• argotorg / yul-isabelle

  View on GitHub
  ☆41Nov 21, 2022Updated 3 years ago
• fxfactorial / bsc-evmone

  View on GitHub
  evmone inside bsc, start from here and adapt
  ☆35Apr 14, 2022Updated 3 years ago
• nlordell / solabi-rs

  View on GitHub
  Rust Implementation of the Solidity ABI
  ☆43Sep 6, 2025Updated 5 months ago
• 0xJepsen / MEV_Research_Group

  View on GitHub
  ☆68Apr 2, 2022Updated 3 years ago
• threesigmaxyz / publications

  View on GitHub
  Publications from Three Sigma.
  ☆57Feb 10, 2026Updated 2 weeks ago
• PossibilityResult / Decentralized-Auctions

  View on GitHub
  ☆12Jan 30, 2023Updated 3 years ago
• The-Arbiter / Hash-Storage-Example

  View on GitHub
  A basic example for how to use hashes to "store" complex objects as hashes. Inspired by 0xSplits.
  ☆13Jul 30, 2022Updated 3 years ago
• SamWilsn / Bribe3074

  View on GitHub
  ☆12May 15, 2025Updated 9 months ago
• tahos81 / ethernaut-bounty

  View on GitHub
  EthernautDAO reputation system
  ☆13Jun 1, 2022Updated 3 years ago
• ScopeLift / l2-optimizoooors

  View on GitHub
  Gas efficient routers for L2 applications
  ☆116Sep 23, 2022Updated 3 years ago
• CodeForcer / rust-pending-stream

  View on GitHub
  Pending transaction stream in rust
  ☆27May 31, 2021Updated 4 years ago
• mattsse / defi-bindings

  View on GitHub
  rust bindings for various defi projects
  ☆64Aug 14, 2022Updated 3 years ago
• 0xMisaka / MEV-from-LUNA-Collapse

  View on GitHub
  ☆89May 15, 2022Updated 3 years ago
• defi-principles / draft-defi-principles

  View on GitHub
  ☆37Jan 7, 2022Updated 4 years ago
• transmissions11 / publications

  View on GitHub
  Collection of reports/articles/publications/etc of mine.
  ☆50May 26, 2022Updated 3 years ago
• ControlCplusControlV / Scribe

  View on GitHub
  Minimal Yul Transpilation to the Miden VM
  ☆52Jan 27, 2023Updated 3 years ago
• 0xalpharush / gradual-dutch-auction-exploit

  View on GitHub
  ☆31Apr 6, 2022Updated 3 years ago
• meoawtistic / ruff

  View on GitHub
  ☆37Jun 14, 2022Updated 3 years ago
• brockelmore / solvm

  View on GitHub
  evm inception: the evm inside the evm via yul and solidity
  ☆227Apr 19, 2023Updated 2 years ago
• transmissions11 / levm

  View on GitHub
  Lightweight Lua EVM
  ☆59May 1, 2022Updated 3 years ago