Alternatives and similar repositories for haskell-c-compiler:

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

• tanishiking / hscc
  Small C Compiler written in Haskell
  ☆14Updated 6 years ago
• zhiayang / lambda
  lambda calculus interpreter
  ☆39Updated 3 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆116Updated 3 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆91Updated 6 years ago
• dls / house
  Haskell Operating System
  ☆154Updated 15 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆285Updated 2 years ago
• gifnksm / gifcc
  Tiny c compiler
  ☆58Updated 5 years ago
• quangIO / Lucix
  A toy programming language compiled to LLVM IR (<200 LoC, dumbed down for educational)
  ☆26Updated 5 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• davidar / subleq
  CPU design and toolchain for a simple computer architecture
  ☆114Updated 9 years ago
• TotallyNotChase / c-iterators
  A demonstration of implementing a "type-safe" lazy iterator interface in pure C99
  ☆97Updated 3 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 4 years ago
• ushitora-anqou / aqcc
  Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.
  ☆197Updated 5 years ago
• nrnrnr / qc--
  Quick C-- compiler (no longer maintained)
  ☆156Updated 11 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 4 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆219Updated last month
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆70Updated 5 years ago
• soupi / rfc
  My slides and compilation of resources.
  ☆150Updated 5 months ago
• smlsharp / smlsharp
  SML# compiler
  ☆223Updated 3 weeks ago
• AndroDevcd / Sharp
  The Sharp programming language
  ☆43Updated 9 months ago
• ngzhian / ski
  SKI combinators
  ☆51Updated 7 years ago
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆93Updated last week
• rui314 / psabi
  ☆58Updated 2 years ago
• qpliu / esolang
  My esoteric languages
  ☆27Updated 2 years 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 4 years ago
• Ahnfelt / type-inference-by-example
  A series of down-to-earth articles on implementing type inference
  ☆153Updated 4 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated last month
• matslina / bfoptimization
  "Research" on how to best optimize brainfuck code.
  ☆72Updated 2 years ago
• 64 / ByteOS
  A simple hobby operating system for the x86-64 architecture
  ☆69Updated 3 years ago
• wingo / walloc
  A small malloc implementation, for use in WebAssembly
  ☆160Updated last year