Alternatives and similar repositories for Compiler-written-in-Haskell

Users that are interested in Compiler-written-in-Haskell are comparing it to the libraries listed below

• LightAndLight / closure

  View on GitHub
  Closure calculus implementation
  ☆12Jun 25, 2019Updated 6 years ago
• seagreen / llvm-in-haskell

  View on GitHub
  Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell
  ☆17Apr 13, 2019Updated 6 years ago
• tyehle / llvm-lambda

  View on GitHub
  A compiler for a simple language using llvm
  ☆37Jun 14, 2023Updated 2 years ago
• TravisWhitaker / libglaswegian

  View on GitHub
  Use GHC's Memory Allocator from C
  ☆12Feb 22, 2020Updated 5 years ago
• tdammers / ghc-wiki

  View on GitHub
  The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)
  ☆12Mar 9, 2019Updated 6 years ago
• phadej / write-yourself-a-typed-functional-language

  View on GitHub
  Write yourself a typed functional language
  ☆65Oct 11, 2018Updated 7 years ago
• paf31 / partial

  View on GitHub
  A nullary type class for partial functions
  ☆15Nov 28, 2017Updated 8 years ago
• glaebhoerl / simplecompiler

  View on GitHub
  used to be something more ambitious, cut scope to just a simple compiler for thesis project
  ☆17Jan 14, 2019Updated 7 years ago
• i-am-tom / dagless

  View on GitHub
  A monadic interface for DAG construction.
  ☆24May 11, 2021Updated 4 years ago
• maybevoid / casimir

  View on GitHub
  Algebraic Effects in Haskell using Implicit Parameters
  ☆47Aug 16, 2020Updated 5 years ago
• masterdezign / dde

  View on GitHub
  Delay Differential Equations in Haskell
  ☆11Dec 4, 2018Updated 7 years ago
• pwrobinson / concurrent-hashtable

  View on GitHub
  A thread-safe hash table in Haskell
  ☆15Feb 28, 2020Updated 5 years ago
• thoughtpolice / asc

  View on GitHub
  Austin's supercompiler work
  ☆21Nov 17, 2019Updated 6 years ago
• smichal / hs-logic

  View on GitHub
  A simple library for Haskell that allows relational programming.
  ☆46Sep 12, 2012Updated 13 years ago
• ucsd-progsys / mist

  View on GitHub
  A tiny language for teaching and experimenting with Refinement Types
  ☆49Jun 22, 2021Updated 4 years ago
• ziman / itt

  View on GitHub
  Tiny dependent calculus with inference of irrelevance and erasure
  ☆15Jan 17, 2020Updated 6 years ago
• conal / circat

  View on GitHub
  A categorical framework for circuit construction
  ☆31Sep 27, 2016Updated 9 years ago
• composewell / compact-list

  View on GitHub
  An append only list in a compact region
  ☆25Sep 6, 2018Updated 7 years ago
• omelkonian / rewrite-inspector

  View on GitHub
  A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of s…
  ☆21Oct 28, 2019Updated 6 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 6 years ago
• mstksg / functor-combinators

  View on GitHub
  Combine and enhance Functors
  ☆39Aug 12, 2025Updated 6 months ago
• kthielen / stlcc

  View on GitHub
  Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
  ☆25Jan 25, 2013Updated 13 years ago
• lortabac / ariel

  View on GitHub
  A simple, purely-functional programming language
  ☆25Jun 11, 2022Updated 3 years ago
• ocramz / taco-hs

  View on GitHub
  Haskell port of the Tensor Algebra COmpiler
  ☆16Nov 18, 2019Updated 6 years ago
• mwotton / lz4hs

  View on GitHub
  Haskell bindings to lz4
  ☆21Updated this week
• ekmett / name

  View on GitHub
  nominal sets in haskell
  ☆19Nov 18, 2018Updated 7 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• bryal / carth

  View on GitHub
  The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/
  ☆22Sep 25, 2023Updated 2 years ago
• discus-lang / salt

  View on GitHub
  The compilation target that functional programmers always wanted.
  ☆62Aug 2, 2020Updated 5 years ago
• csabahruska / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆57Dec 17, 2018Updated 7 years ago
• RyanGlScott / eliminators

  View on GitHub
  Dependently typed elimination functions using singletons
  ☆28Jan 11, 2026Updated last month
• jship / tao

  View on GitHub
  Type-level assertion operators
  ☆16Mar 20, 2018Updated 7 years ago
• nobrakal / tungsten

  View on GitHub
  Bring fusion to everyone
  ☆14Feb 6, 2020Updated 6 years ago
• bydriv / mhc

  View on GitHub
  Minimal Haskell Compiler
  ☆63Mar 26, 2018Updated 7 years ago
• Jaak / TinyOutsideIn

  View on GitHub
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Apr 13, 2015Updated 10 years ago
• cocreature / zkboo-hs

  View on GitHub
  Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.
  ☆18Sep 1, 2018Updated 7 years ago
• snoyberg / zerem

  View on GitHub
  Haskell streaming library optimized for low CPU and GC overhead
  ☆16Jun 21, 2018Updated 7 years ago
• myuon / ghc-compiler-notes

  View on GitHub
  A collection of Notes on GHC
  ☆71Apr 14, 2019Updated 6 years ago
• dorchard / effectful-explanations-talk

  View on GitHub
  "Programs that explain their effects" talk material
  ☆17Jun 22, 2018Updated 7 years ago