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
• dls / house
  Haskell Operating System
  ☆168Updated 16 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• arthaud / c2bf
  Compiler from C to brainfuck
  ☆234Updated 2 years ago
• SebastianMestre / Jasper
  A programming language. Static types. Full type inference. Garbage collection. --- not stable
  ☆61Updated last year
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆118Updated 4 years ago
• 8l / qbe
  A Quick Backend
  ☆348Updated 3 years ago
• mukul-rathi / bolt
  Bolt is a language with in-built data-race freedom!
  ☆598Updated last year
• dkopko / klox
  An interpreter
  ☆182Updated 3 months ago
• TotallyNotChase / c-iterators
  A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
  ☆99Updated 4 years ago
• aodhneine / crusty
  Experimental Rust compiler in pure C.
  ☆13Updated 5 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• daniele-rapagnani / melon
  The Melon programming language
  ☆37Updated 2 years ago
• spencertipping / shell-tutorial
  How to write a UNIX shell, with a lot of background
  ☆354Updated 8 years ago
• tsoding / bm
  Simple compiler ecosystem
  ☆205Updated 4 years ago
• itchyny / llvm-brainfuck
  Brainfuck compiler based on LLVM API
  ☆43Updated 8 years ago
• benhoyt / loxlox
  Lox interpreter written in Lox
  ☆123Updated 3 weeks ago
• Feral-Lang / Feral
  Feral programming language reference implementation
  ☆143Updated this week
• pen-lang / pen
  The parallel, concurrent, and functional programming language for scalable software development
  ☆459Updated 2 weeks ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆159Updated 5 years ago
• grassator / mass
  A compiler for a new language focusing on compile-time execution and no LLVM dependency.
  ☆290Updated last year
• wingo / walloc
  A small malloc implementation, for use in WebAssembly
  ☆169Updated last year
• lenary / abis
  Big List of ABI Resources
  ☆46Updated last year
• ibara / pl0c
  Self-hosting PL/0 to C compiler to teach basic compiler construction from a practical, hands-on perspective.
  ☆155Updated 3 years ago
• woodrush / lambda-8cc
  x86 C compiler written in untyped lambda calculus
  ☆664Updated 2 years ago
• proglangdesign / proglangdesign.github.io
  A website for the #proglangdesign community on freenode
  ☆110Updated last week
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆333Updated 3 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆52Updated 3 months ago