Alternatives and similar repositories for ethdebug.py

Users that are interested in ethdebug.py are comparing it to the libraries listed below

• yolc-dev / yul-dsl-monorepo
  The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …
  ☆39Updated 3 weeks ago
• NethermindEth / EVMYulLean
  Executable formal model of the EVM and Yul in Lean 4.
  ☆59Updated last week
• formal-land / coq-of-solidity
  Formal verification for Solidity smart contracts with Rocq 🐓 Verify arbitrary properties on your smart contracts and make no bugs!
  ☆33Updated 3 weeks ago
• DavePearce / LeanEVM
  A toy implementation of the EVM in Lean4.
  ☆10Updated last year
• lindy-labs / aegis
  Verify Cairo contracts in Lean 4
  ☆14Updated last month
• IagoAbal / haskell-z3
  Haskell bindings to Microsoft's Z3 API (unofficial).
  ☆58Updated last year
• NethermindEth / Clear
  Interactive formal verification tool for Yul programs
  ☆65Updated this week
• nadia-polikarpova / synquid
  ☆128Updated 3 years ago
• fsainas / contracts-verification-benchmark
  An open benchmark for evaluating smart contracts verification tools.
  ☆14Updated last month
• costa-group / forves
  ☆12Updated 7 months ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆13Updated 4 months ago
• harp-project / AML-Formalization
  ☆11Updated this week
• verifereum / verifereum
  Prove functional correctness of Ethereum smart contracts in higher-order logic
  ☆27Updated this week
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆25Updated last month
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• Consensys / evm-dafny
  An EVM interpreter in Dafny
  ☆129Updated 8 months ago
• sstucki / system-f-agda
  A formalization of the polymorphic lambda calculus extended with iso-recursive types
  ☆71Updated 6 years ago
• jsiek / abstract-binding-trees
  Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
  ☆75Updated 7 months ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆134Updated 7 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆99Updated 8 months ago
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆114Updated 3 weeks ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆43Updated 4 years ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆101Updated 3 years ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆50Updated 3 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated 4 months ago
• svenkeidel / sturdy
  Sturdy is a library for developing sound static analyses in Haskell.
  ☆61Updated 2 years ago
• AndrasKovacs / SemanticsWithApplications
  Formal semantics in Agda.
  ☆16Updated 9 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated 2 years ago
• sweirich / challenge
  Strongly-typed System F in Haskell
  ☆117Updated 2 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 7 months ago