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
  ☆46Updated 4 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 2 weeks ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆301Updated 3 years ago
• tanishiking / hscc
  Small C Compiler written in Haskell
  ☆15Updated 7 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• dls / house
  Haskell Operating System
  ☆171Updated 16 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
• angel-manuel / schc
  Simple C Haskell Compiler
  ☆22Updated last week
• clark800 / lambda-zero
  minimalist pure lazy functional programming language (pythonic haskell)
  ☆79Updated 10 months ago
• tathougies / hos
  The functional Haskell kernel
  ☆142Updated 10 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• ngzhian / ski
  SKI combinators
  ☆56Updated 8 years ago
• hakatashi / esolang-box
  Easy and standardized docker images for 200+ esoteric (and non-esoteric) languages.
  ☆76Updated last year
• osa1 / mincaml
  A MinCaml compiler implemented in Rust
  ☆44Updated 2 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆166Updated 5 years ago
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆156Updated 4 years ago
• erikdubbelboer / brainfuck-jit
  Brainfuck JIT
  ☆52Updated 13 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 3 months ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆112Updated 3 months ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆125Updated 6 months ago
• ergawy / types-and-programming-languages
  C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
  ☆34Updated 5 years ago
• dkopko / klox
  An interpreter
  ☆183Updated 9 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 8 months ago
• dannypsnl / write-a-programming-language
  How to make a new language(and why we shouldn't?)
  ☆40Updated 2 years ago
• been-jamming / CORE
  A constructive proof assistant for second order logic.
  ☆36Updated last year
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 6 years ago
• DataKinds / charm
  A [ functional stack ] based language.
  ☆30Updated 2 years ago