Alternatives and similar repositories for hscc:

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

• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆34Updated 5 years ago
• dls / house
  Haskell Operating System
  ☆158Updated 15 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆92Updated 6 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 3 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆92Updated 3 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆501Updated 5 months ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆82Updated 3 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆163Updated last year
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 2 years ago
• smlsharp / smlsharp
  SML# compiler
  ☆227Updated last week
• mit-plv / koika
  A core language for rule-based hardware design 🦑
  ☆147Updated 5 months ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆287Updated 2 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆223Updated 3 months ago
• koka-lang / libhandler
  Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.
  ☆196Updated 4 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆591Updated 4 months ago
• wh5a / Algorithm-W-Step-By-Step
  Classic Algorithm W for type inference.
  ☆254Updated 15 years ago
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆518Updated 8 months ago
• iigura / Paraphrase
  Multi-core suitable Forth-like language
  ☆35Updated last week
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆104Updated 9 years ago
• AccelerateHS / accelerate-llvm
  LLVM backend for Accelerate
  ☆164Updated 6 months ago
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆155Updated last month
• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆25Updated 7 years ago
• benbjohnson / llvm-c-kaleidoscope
  An implementation of the Kaleidoscope language using Flex, Bison & the LLVM-C bindings.
  ☆146Updated 8 years ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆106Updated last month
• kframework / k-legacy
  The K tools (deprecated, see README)
  ☆146Updated 7 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆70Updated 8 months ago
• snowzurfer / brto-llvm
  Modern C++ implementation of the Kaleidoscope LLVM tutorial.
  ☆13Updated 7 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆79Updated last week