Alternatives and similar repositories for haskell-ghc-illustrated

Users that are interested in haskell-ghc-illustrated are comparing it to the libraries listed below

• takenobu-hs / lazy_evaluation

  View on GitHub
  haskell lazy evaluation illustrated
  ☆72May 3, 2017Updated 8 years ago
• nomeata / veggies

  View on GitHub
  Hopefully verifiable code generation in GHC
  ☆94May 10, 2017Updated 8 years ago
• takenobu-hs / ghc-development-flow

  View on GitHub
  GHC development flow
  ☆24May 3, 2017Updated 8 years ago
• ezyang / compact

  View on GitHub
  Compact regions library for Haskell
  ☆82Jul 2, 2024Updated last year
• csabahruska / jhc-components

  View on GitHub
  JHC Haskell compiler split into reusable components
  ☆57Dec 17, 2018Updated 7 years ago
• def- / ghc-datasize

  View on GitHub
  ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory
  ☆17Aug 22, 2024Updated last year
• vincenthz / professor

  View on GitHub
  haskell prof file CLI/Curses tool
  ☆32May 2, 2017Updated 8 years ago
• kcsongor / generic-lens

  View on GitHub
  Generically derive traversals, lenses, and prisms.
  ☆440Aug 27, 2025Updated 5 months ago
• quchen / stgi

  View on GitHub
  A user-centric visual STG implementation to help understand GHC/Haskell's execution model.
  ☆534Jun 8, 2021Updated 4 years ago
• nomeata / inspection-testing

  View on GitHub
  Inspection Testing for Haskell
  ☆189Jan 17, 2026Updated last month
• nomeata / ghc-proofs

  View on GitHub
  Let GHC prove program equations for you
  ☆146Nov 4, 2018Updated 7 years ago
• imeckler / mote

  View on GitHub
  ☆116Aug 14, 2015Updated 10 years ago
• sweirich / tal

  View on GitHub
  An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
  ☆150Sep 30, 2021Updated 4 years ago
• sdiehl / dive-into-ghc

  View on GitHub
  Dive into GHC
  ☆82Dec 26, 2016Updated 9 years ago
• barrucadu / dejafu

  View on GitHub
  Systematic concurrency testing meets Haskell.
  ☆197Jan 13, 2026Updated last month
• HeinrichApfelmus / hyper-haskell

  View on GitHub
  The strongly hyped Haskell interpreter.
  ☆377Oct 27, 2025Updated 3 months ago
• mikeizbicki / ifcxt

  View on GitHub
  constraint level if statements
  ☆117Nov 29, 2017Updated 8 years ago
• fpco / inline-c

  View on GitHub
  ☆303Jun 9, 2025Updated 8 months ago
• Gabriella439 / Haskell-Lens-Tutorial-Library

  View on GitHub
  The missing tutorial module for the lens library
  ☆83May 11, 2024Updated last year
• michaelt / streaming

  View on GitHub
  An optimized general monad transformer for streaming applications, with a simple prelude of functions
  ☆107Jul 18, 2018Updated 7 years ago
• valderman / ghc-simple

  View on GitHub
  Simplified interface to the GHC API
  ☆22Apr 4, 2019Updated 6 years ago
• alanz / ghc-exactprint

  View on GitHub
  GHC version of haskell-src-exts exactPrint
  ☆72Oct 14, 2025Updated 4 months ago
• snowleopard / hadrian

  View on GitHub
  Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!
  ☆208Feb 4, 2019Updated 7 years ago
• ocharles / hsfmt

  View on GitHub
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Oct 7, 2018Updated 7 years ago
• jaspervdj / profiteur

  View on GitHub
  Visualiser for Haskell (GHC) prof files
  ☆203Jan 20, 2026Updated 3 weeks ago
• knupfer / type-of-html

  View on GitHub
  High performance type safe html generation
  ☆128Jul 25, 2022Updated 3 years ago
• shachaf / ghc-core

  View on GitHub
  ☆39Oct 19, 2017Updated 8 years ago
• well-typed / visualize-cbn

  View on GitHub
  ☆99Jul 4, 2025Updated 7 months ago
• compiling-to-categories / concat

  View on GitHub
  Compiling to Categories
  ☆458Feb 28, 2024Updated last year
• haskell-hvr / base-noprelude

  View on GitHub
  All of `base` without the `Prelude` module
  ☆44Jan 30, 2023Updated 3 years ago
• goldfirere / effects

  View on GitHub
  A Haskell translation of Idris's original algebraic effects library
  ☆41Sep 23, 2016Updated 9 years ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• mietek / total-fp

  View on GitHub
  Total functional programming (ESFP) literature
  ☆187Feb 15, 2019Updated 7 years ago
• Soostone / katip

  View on GitHub
  A structured logging framework for Haskell
  ☆214Sep 3, 2025Updated 5 months ago
• evertedsphere / sound-and-complete

  View on GitHub
  An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
  ☆84Jan 3, 2018Updated 8 years ago
• matt-noonan / justified-containers

  View on GitHub
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆82Feb 20, 2020Updated 5 years ago
• haskell-tools / haskell-tools

  View on GitHub
  Developer tools for Haskell
  ☆250Jul 18, 2024Updated last year
• yav / dump-core

  View on GitHub
  ☆45Nov 28, 2021Updated 4 years ago
• haskell-haskey / haskey

  View on GitHub
  Transactional key-value store written entirely in Haskell
  ☆94Mar 4, 2021Updated 4 years ago