Alternatives and similar repositories for hscc

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

• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆27Updated 7 years ago
• dls / house
  Haskell Operating System
  ☆170Updated 16 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• llvm-hs / llvm-hs-examples
  Examples for Haskell bindings to LLVM
  ☆73Updated 4 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆514Updated last month
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆222Updated this week
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆232Updated 3 weeks ago
• ushitora-anqou / aqaml
  Yet another tiny tiny self-hosted OCaml compiler with an also tiny standard library.
  ☆57Updated 6 years ago
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 3 years ago
• jdreaver / amy
  Strict Haskell-like programming language that compiles to LLVM
  ☆71Updated 6 years ago
• coord-e / mlml
  self-hosted compiler for a subset of OCaml
  ☆51Updated 6 years ago
• siraben / mini-haskell
  A self-hosting mini Haskell compiler with a mini C runtime.
  ☆77Updated 5 years ago
• falgon / htcc
  A tiny C language compiler (x86-64) (WIP)
  ☆31Updated 2 years ago
• hayatoito / tapl-in-rust
  ☆28Updated 8 years ago
• smlsharp / smlsharp
  SML# compiler
  ☆243Updated 2 weeks ago
• bydriv / mhc
  Minimal Haskell Compiler
  ☆63Updated 7 years ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 9 years ago
• lotz84 / FlappyHaskell
  An implementation of Flappy Bird in Haskell using FRP and OpenGL.
  ☆31Updated 10 years ago
• VictorTaelin / Formality
  ☆42Updated 4 years ago
• tathougies / hos
  The functional Haskell kernel
  ☆140Updated 9 years ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆25Updated 9 years ago
• fetburner / type-infer
  A Formal Verification of Algorithm W
  ☆17Updated 4 years ago
• ilya-klyuchnikov / lambdapi
  Dependently Typed Lambda Calculus in Haskell
  ☆115Updated 4 years ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆158Updated 5 months ago