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
  ☆170Updated 16 years ago
• NunoDasNeves / haskell-c-compiler
  Learning Haskell for the first time and using it to write a simple C compiler
  ☆26Updated 7 years ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆118Updated 4 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/
  ☆513Updated 10 months ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆692Updated 3 weeks ago
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆221Updated last week
• CertiCoq / certicoq
  A Verified Compiler for Gallina, Written in Gallina
  ☆153Updated last month
• llvm-hs / llvm-hs
  Haskell bindings for LLVM
  ☆522Updated last year
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆611Updated 9 months ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆231Updated 3 months ago
• smlsharp / smlsharp
  SML# compiler
  ☆241Updated last month
• MPRI / M2-4-2
  Functional programming and type systems
  ☆128Updated 9 years ago
• luc-tielen / eclair-lang
  A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR
  ☆224Updated last year
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• ccntrq / loxomotive
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Updated 3 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• effekt-lang / effekt
  A language with lexical effect handlers and lightweight effect polymorphism
  ☆392Updated this week
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆281Updated last week
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆170Updated 2 years ago
• runtimeverification / k
  K Framework Tools 7.0
  ☆514Updated this week
• zerokarmaleft / tapl-haskell
  Types and Programming Languages
  ☆37Updated 11 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated 9 months ago
• hatashiro / monkey-hs
  An interpreter for Monkey with parser combinator written in Haskell
  ☆48Updated 6 years ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆62Updated last year
• VictorTaelin / Formality
  ☆41Updated 4 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆112Updated this week
• frank-lang / frank
  Frank compiler
  ☆296Updated last year