Alternatives and similar repositories for hscc

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

• dls / house
  Haskell Operating System
  ☆171Updated 16 years ago
• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆27Updated 7 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆518Updated 4 months ago
• MPRI / M2-4-2
  Functional programming and type systems
  ☆130Updated 10 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆223Updated last week
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• falgon / htcc
  A tiny C language compiler (x86-64) (WIP)
  ☆32Updated 3 years ago
• melsman / mlkit
  Standard ML Compiler and Toolkit
  ☆297Updated 3 weeks ago
• smlsharp / smlsharp
  SML# compiler
  ☆246Updated 2 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆65Updated last year
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆29Updated last year
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆734Updated last week
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆142Updated last year
• btq-ag / keelung
  The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation wit…
  ☆53Updated last year
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆85Updated last week
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆529Updated last year
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆301Updated 3 years ago
• runtimeverification / k
  K Framework Tools 7.0
  ☆550Updated last week
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆237Updated 3 months ago
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆229Updated last year
• takenobu-hs / haskell-ethereum-assembly
  EVM (Ethereum virtual machine) Assembly on Haskell DSL
  ☆66Updated 7 years ago
• VictorTaelin / Formality
  ☆42Updated 4 years ago