Alternatives and similar repositories for house:

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

• tathougies / hos
  The functional Haskell kernel
  ☆132Updated 8 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆215Updated last month
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆116Updated 3 years ago
• lemmih / lhc
  The LLVM LHC Haskell Optimization System
  ☆198Updated 4 years ago
• githwxi / ATS-Postiats
  ATS2: Unleashing the Potentials of Types and Templates
  ☆355Updated 2 weeks ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• sweirich / tal
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆145Updated 3 years ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 6 years ago
• augustss / MicroHs
  Haskell implemented with combinators
  ☆396Updated this week
• mgrabmueller / AlgorithmW
  Example implementation of Algorithm W for Hindley-Milner type inference
  ☆77Updated 2 years ago
• frank-lang / frank
  Frank compiler
  ☆281Updated 8 months ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆514Updated 5 months ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆496Updated 3 months ago
• mietek / charity-lang
  Charity language interpreters and literature
  ☆114Updated 5 years ago
• visq / language-c
  Source repository for https://hackage.haskell.org/package/language-c
  ☆87Updated 2 months ago
• msakai / cpl
  An interpreter of Hagino's Categorical Programming Language (CPL).
  ☆115Updated 7 months ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆155Updated 2 weeks ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆112Updated 3 years ago
• haskell / happy
  The Happy parser generator for Haskell
  ☆296Updated this week
• derekelkins / agda-vim
  Agda interaction in vim
  ☆130Updated 3 years ago
• fumieval / objective
  Purely functional objects
  ☆73Updated 3 years ago
• unnohideyuki / Tiger-in-Haskell
  "Modern compiler implementation" in Haskell!
  ☆26Updated 10 years ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆56Updated 8 months ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆94Updated last month
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆278Updated 2 weeks ago
• soupi / rfc
  My slides and compilation of resources.
  ☆150Updated 4 months ago
• gtk2hs / gtk2hs
  GUI library for Haskell based on GTK+
  ☆183Updated 6 months ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆73Updated 5 years ago
• justinethier / husk-scheme
  A full implementation of the Scheme programming language for the Haskell Platform.
  ☆308Updated last year
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆154Updated 10 years ago