Alternatives and similar repositories for abstract-machine-debuggers:

Users that are interested in abstract-machine-debuggers are comparing it to the libraries listed below

• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆13Updated 5 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆14Updated 7 years ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 6 years ago
• haskellari / some
  Existential type.
  ☆37Updated 4 months ago
• effectfully / Eff
  Experiments with effect systems
  ☆12Updated 9 years ago
• Toxaris / pts
  Interpreter for functional pure type systems.
  ☆21Updated 7 years ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆15Updated 6 years ago
• ChrisPenner / recursive-zipper
  Zippers for cofree types
  ☆12Updated 3 years ago
• Z-snails / idris2-async
  Small async library for idris2, inspired by purescript-aff
  ☆8Updated 3 years ago
• thamugadi / semantic-preservation
  Attempt to prove semantic preservation (forward simulation) for a simple compiler.
  ☆10Updated 11 months ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 5 months ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• jfdm / velo-lang
  Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.
  ☆16Updated 2 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• gergoerdi / generic-syntax
  Library implementation of "Generic description of well-scoped, well-typed syntaxes"
  ☆12Updated 7 years ago
• wenkokke / chez-scheme-hs
  Haskell bindings to Chez Scheme
  ☆10Updated last year
• wrengr / bytestring-trie
  An efficient finite map from (byte)strings to values.
  ☆20Updated 3 weeks ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆26Updated 10 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• ayberkt / simplc
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Updated 5 years ago
• elpinal / focused-modules
  A type system for ML-style modules, solving the avoidance problem by focusing [Crary 2020]
  ☆10Updated 4 years ago
• edwinb / SchemeEval
  Experimental normalisation via scheme
  ☆12Updated 3 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 6 years ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆17Updated last month
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 2 years ago
• ziman / itt
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Updated 5 years ago