Alternatives and similar repositories for comp-to-assembly-from-scratch-hs:

Users that are interested in comp-to-assembly-from-scratch-hs are comparing it to the libraries listed below

• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• eviefp / logic-in-haskell
  Classical Logic in Haskell
  ☆23Updated last year
• jkoppel / ecta
  ☆33Updated 9 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆34Updated 3 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• ZHaskell / docs
  Project Z, an initiative to build a Haskell engineering eco-system.
  ☆25Updated 2 months ago
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆15Updated 6 years ago
• ChrisPenner / Candor
  A toy Parser+Compiler+Typechecker
  ☆12Updated last year
• atennapel / qtt-ts
  Implementation of Quantitative Type Theory (in TypeScript)
  ☆12Updated 4 years ago
• mcneissue / purescript-snap
  An approach to user interfaces based in denotational design.
  ☆26Updated 2 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• fluffynukeit / scbt
  Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
  ☆11Updated 5 years ago
• aspiwack / haskell-benign
  A library for benign effects in Haskell
  ☆20Updated 2 years ago
• levjj / esverify-theory
  Formalism and proofs for esverify
  ☆20Updated 6 years ago
• gelisam / typechecker-combinators
  ☆16Updated 9 months ago
• phadej / kleene-type
  Regular expressions of types
  ☆16Updated 6 years ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated 6 months ago
• NorfairKing / cursor
  Cursor data and manipulation
  ☆21Updated last year
• rootmos / silly-joy
  An interpreter for the concatenative language Joy, written in Haskell using extensible-effects
  ☆35Updated 2 months ago
• ennocramer / monad-dijkstra
  Haskell monad transformer for weighted, non-deterministic computation
  ☆30Updated 3 weeks ago
• cartazio / resin
  Resin: high performance variable binder and ast manipulation lib
  ☆13Updated 6 years ago
• JoeyEremondi / lambda-pi-constraint
  ☆16Updated 6 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• quchen / show-prettyprint
  Robust prettyprinter for output of auto-generated Show instances
  ☆18Updated 5 years ago
• robrix / tilec
  Sometimes when I feel sad I implement a dependently typed lambda calculus.
  ☆15Updated 4 years ago
• haskell-foundation / foundation-edge
  types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...
  ☆18Updated 7 years ago
• alexfmpe / semantic-satiation
  ☆14Updated last year