runtimeverification / ethdebug.pyLinks
ethdebug.py is a debugger-side implementation of the EthDebug format
☆15Updated 4 months ago
Alternatives and similar repositories for ethdebug.py
Users that are interested in ethdebug.py are comparing it to the libraries listed below
Sorting:
- ☆143Updated 3 years ago
- A minimal proof language.☆212Updated 7 years ago
- ☆11Updated 4 months ago
- Categories parametrized by morphism equality, in Agda☆152Updated 6 years ago
- A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR☆228Updated 2 years ago
- formally verified category theory library☆270Updated 5 years ago
- Benchmarks for capture-avoiding substitution☆122Updated 8 months ago
- The monorepo of YulDSL (a DSL for Solidity/Yul), YulDSL/Haskell (Embedding YulDSL in Haskel), and Yolc (a safe, expressive, fun language …☆41Updated 7 months ago
- Formal verification for Solidity smart contracts with the theorem prover Rocq. Ensure no vulnerabilities for your smart contracts.☆46Updated last month
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Updated 2 years ago
- A small implementation of higher-order unification☆192Updated 8 years ago
- A formalization of the polymorphic lambda calculus extended with iso-recursive types☆74Updated 6 years ago
- Programming library for Agda☆134Updated last year
- The Ott tool for writing definitions of programming languages and calculi☆400Updated 3 weeks ago
- A new Categories library for Agda☆397Updated 2 weeks ago
- A comparison of how computational effects and handlers are implemented in various programming languages.☆146Updated 6 years ago
- Randomized Property-Based Testing Plugin for Coq☆280Updated last week
- Coq Support for Visual Studio Code☆92Updated 6 years ago
- ECMAScript back end for Functional Reactive Programming in Agda☆103Updated 8 years ago
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago
- agda-mode on VS Code☆185Updated this week
- A categorical programming language with effects☆291Updated 2 years ago
- ☆12Updated last year
- Prototype type inference engine☆204Updated last year
- 😎TT☆241Updated 2 months ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- A tutorial on how Agda infers things☆63Updated 6 months ago
- Abstract binding trees (abstract syntax trees plus binders), as a library in Agda☆80Updated 5 months ago
- Compiling Agda code to readable Haskell☆200Updated this week
- Play/learn/work with me☆113Updated 2 months ago