Alternatives and similar repositories for haskell-c-compiler

Users that are interested in haskell-c-compiler are comparing it to the libraries listed below

• zhiayang / lambda
  lambda calculus interpreter
  ☆44Updated 4 years ago
• tanishiking / hscc
  Small C Compiler written in Haskell
  ☆15Updated 7 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆299Updated 3 years ago
• dls / house
  Haskell Operating System
  ☆170Updated 16 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆66Updated 5 years ago
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 8 months ago
• tathougies / hos
  The functional Haskell kernel
  ☆140Updated 9 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆69Updated this week
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 2 weeks ago
• antoyo / tiger-rs
  Rust implementation of the projects from the book Modern Compiler Implementation in ML
  ☆145Updated 5 months ago
• aodhneine / crusty
  Experimental Rust compiler in pure C.
  ☆12Updated 5 years ago
• lifthrasiir / esotope-bfc
  Esotope Brainfuck Compiler (2009)
  ☆30Updated 10 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• g-ford / cradle
  Let's Build a Compiler (in Haskell)
  ☆171Updated 5 years ago
• erikdubbelboer / brainfuck-jit
  Brainfuck JIT
  ☆51Updated 13 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆63Updated this week
• dkopko / klox
  An interpreter
  ☆183Updated 6 months ago
• mpu / lambda
  A small λ-calculus interpreter in C
  ☆57Updated 11 years ago
• daniele-rapagnani / melon
  The Melon programming language
  ☆37Updated 2 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated last week
• geohot / twitchcoq
  It's a poorly named metamath verifier
  ☆110Updated 5 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆232Updated 3 weeks ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆161Updated 5 years ago
• benbjohnson / llvm-c-kaleidoscope
  An implementation of the Kaleidoscope language using Flex, Bison & the LLVM-C bindings.
  ☆153Updated 8 years ago
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆44Updated 2 years ago