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
  ☆26Updated 7 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• dls / house
  Haskell Operating System
  ☆168Updated 16 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆683Updated last month
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆118Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• cucapra / turnt
  simple snapshot-style integration testing for commands
  ☆71Updated 2 months ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆510Updated 10 months ago
• se-tuebingen / mini-jvm
  Educational implementation of a subset of the JVM bytecode to illustrate imperative and object-oriented programming.
  ☆56Updated last year
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆61Updated 11 months ago
• ryo-imai-bit / Writing-An-Interpreter-In-Go-In-OCaml
  InterpreterInGo In OCaml
  ☆16Updated 2 years ago
• mateeeeeee / Ola
  Toy compiler
  ☆54Updated 2 weeks ago
• benbjohnson / llvm-c-kaleidoscope
  An implementation of the Kaleidoscope language using Flex, Bison & the LLVM-C bindings.
  ☆151Updated 8 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆169Updated last year
• ccntrq / loxomotive
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Updated 3 years ago
• angelocatalani / kaleidoscope
  Kaleidoscope is a toy programming language built from scratch using the LLVM libraries.
  ☆22Updated last month
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 4 years ago
• bollu / lz
  A minimal in MLIR dialect along the lines of STG to represent laziness.
  ☆15Updated 3 years ago
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆43Updated 10 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆111Updated this week
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆181Updated 5 months ago
• Seanforfun / llvm-kaleidoscope
  LLVM Kaleidoscope Compiler
  ☆11Updated 5 years ago
• MPRI / M2-4-2
  Functional programming and type systems
  ☆128Updated 9 years ago