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
  ☆27Updated 7 years ago
• rickBuczynski / coolang
  COOL (Classroom Object Oriented Language) compiler with LLVM backend
  ☆33Updated 5 years ago
• dls / house
  Haskell Operating System
  ☆170Updated 16 years ago
• esumii / min-caml
  moved from https://sourceforge.net/p/min-caml/code/
  ☆516Updated 2 months ago
• jmorag / mcc
  MicroC example compiler for Stephen Edward's PLT class, but in Haskell
  ☆120Updated 4 years ago
• verse-lab / toychain
  A minimalistic blockchain consensus implemented and verified in Coq
  ☆114Updated 5 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆172Updated 2 years ago
• smlsharp / smlsharp
  SML# compiler
  ☆244Updated last week
• argumentcomputer / yatima
  A zero-knowledge Lean4 compiler and kernel
  ☆139Updated last year
• AU-COBRA / ConCert
  A framework for smart contract verification in Coq
  ☆124Updated last week
• falgon / htcc
  A tiny C language compiler (x86-64) (WIP)
  ☆32Updated 2 years ago
• rob-smallshire / hindley-milner-python
  Hindley-Milner Type Inference implemented in (although not for) Python.
  ☆96Updated 3 years ago
• ranjitjhala / sprite-lang
  An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
  ☆150Updated 2 months ago
• btq-ag / keelung
  The Keelung Language
  ☆53Updated last year
• unnohideyuki / bunny
  Haskell x Android
  ☆25Updated 3 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• mit-plv / riscv-coq
  RISC-V Specification in Coq
  ☆116Updated 2 months ago
• sampsyo / bril
  an educational compiler intermediate representation
  ☆723Updated last month
• runtimeverification / haskell-backend
  The symbolic execution engine powering the K Framework
  ☆222Updated this week
• szeiger / interact
  Interaction net / combinator language based on https://core.ac.uk/download/pdf/81113716.pdf
  ☆30Updated last year
• msakai / toysolver
  My sandbox for experimenting with solver algorithms.
  ☆158Updated 6 months ago
• nyuichi / LeanHOL
  super tiny implementation of higher-order logic proof assistant in lean
  ☆22Updated 6 years ago
• llvm-hs / llvm-hs-kaleidoscope
  Kaleidoscope Tutorial using llvm-hs
  ☆85Updated 4 years ago
• rsnikhil / Forvis_RISCV-ISA-Spec
  Formal specification of RISC-V Instruction Set
  ☆101Updated 5 years ago
• lotz84 / FlappyHaskell
  An implementation of Flappy Bird in Haskell using FRP and OpenGL.
  ☆31Updated 10 years ago
• hansroland / CoreLang
  Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992
  ☆33Updated 5 years ago
• refu-lang / refu
  Refu language
  ☆21Updated 3 years ago
• noti0na1 / socc
  Simple C Compiler in OCaml
  ☆95Updated 7 years ago
• NethermindEth / Yul-Specification
  A formal specification of the Yul IR semantics in the Lean proof assistant.
  ☆14Updated 5 months ago
• viperproject / silver
  Definition of the Viper intermediate verification language.
  ☆92Updated last week