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
  ☆165Updated 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
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆509Updated 9 months ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆94Updated 7 years ago
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆219Updated this week
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆83Updated 4 years ago
• smlsharp / smlsharp
  SML# compiler
  ☆239Updated this week
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆117Updated 4 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆292Updated 3 years ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆681Updated last week
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆113Updated 5 years ago
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆120Updated last week
• jacobstanley / ssa-anf
  SSA vs ANF
  ☆43Updated 10 years ago
• runtimeverification / wasm-semantics
  A Formal Semantics of WebAssembly in K
  ☆81Updated this week
• luigiapetre / Formal-Methods-Courses
  Here we collect worldwide courses teaching formal methods
  ☆38Updated 6 years ago
• refu-lang / refu
  Refu language
  ☆21Updated 3 years ago
• blynn / compiler
  The adventures of a Haskell compiler
  ☆227Updated 2 months ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆102Updated 10 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 3 years ago
• VictorTaelin / Formality
  ☆40Updated 4 years ago
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆137Updated 8 months ago
• nlsandler / nqcc2
  Reference implementation for Writing a C Compiler
  ☆175Updated 5 months ago
• ccntrq / loxomotive
  loxomotive - A Lox Interpreter implemented in Haskell
  ☆17Updated 3 years ago
• viperproject / silicon
  Symbolic-execution-based verifier for the Viper intermediate verification language.
  ☆110Updated this week
• igstan / linguae
  A playground for parsers, type checkers, interpreters, compilers, etc.
  ☆40Updated 6 months ago
• andrevdm / SimpleHaskellStackVM
  Simple demonstration stack based virtual machine written in Haskell
  ☆42Updated 9 years ago
• srijan-paul / tinyjit
  Educational JIT compiler for ARM64 in Zig.
  ☆60Updated 11 months ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago