Alternatives and similar repositories for haskell-in-the-large

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

• DanielSchuessler / th-expand-syns

  View on GitHub
  Expands type synonyms in Template Haskell ASTs
  ☆11Jan 10, 2026Updated last month
• khanage / heineken

  View on GitHub
  A general build tool for haskell projects inspired by leiningen
  ☆16Jun 6, 2015Updated 10 years ago
• FranklinChen / clojure-transducers-in-haskell

  View on GitHub
  Clojure transducers in a typed setting, in Haskell
  ☆56Feb 19, 2015Updated 10 years ago
• tfausak / tfausak.github.io

  View on GitHub
  Taylor Fausak's blog.
  ☆19Jun 12, 2025Updated 8 months ago
• singpolyma / wai-session

  View on GitHub
  Flexible session middleware for WAI
  ☆15Nov 11, 2020Updated 5 years ago
• ocsigen / macaque

  View on GitHub
  ☆38Nov 18, 2019Updated 6 years ago
• levex / haskell-doom

  View on GitHub
  doom
  ☆17Mar 8, 2016Updated 9 years ago
• nilcons / hi2

  View on GitHub
  haskell-indentation 2nd try
  ☆33Dec 17, 2014Updated 11 years ago
• jfeltz / dash-haskell

  View on GitHub
  dash docset builder for Haskell packages and cabal project dependencies
  ☆78Mar 16, 2020Updated 5 years ago
• int-index / ether

  View on GitHub
  Monad Transformers and Classes
  ☆76Jun 25, 2019Updated 6 years ago
• fxfactorial / reasonml-brotli

  View on GitHub
  High Level, type-safe ReasonML (OCaml) bindings to Google's compression library Brotli
  ☆20Sep 28, 2023Updated 2 years ago
• scslab / cs240h-notes

  View on GitHub
  Stanford CS240h Class Notes -- Functional Systems in Haskell
  ☆27Jun 3, 2014Updated 11 years ago
• tfausak / lackey

  View on GitHub
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Jan 14, 2026Updated last month
• ivan-m / haskell-docs

  View on GitHub
  Get the Haskell documentation of a name from a module
  ☆31May 15, 2019Updated 6 years ago
• seanparsons / glue

  View on GitHub
  Building Better Services And Clients
  ☆41Mar 17, 2019Updated 6 years ago
• rampion / conkin

  View on GitHub
  Tools for functors from Hask^k to Hask
  ☆23Aug 25, 2019Updated 6 years ago
• ku-fpg / hermit

  View on GitHub
  Haskell Equational Reasoning Model-to-Implementation Tunnel
  ☆52Jan 12, 2023Updated 3 years ago
• jonsterling / JonPRL

  View on GitHub
  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: …
  ☆110Feb 20, 2019Updated 6 years ago
• nkarag / haskell-DBFunctor

  View on GitHub
  Functional Data Management (Type Safe ETL / ELT in Haskell)
  ☆42Dec 1, 2021Updated 4 years ago
• sweirich / replib

  View on GitHub
  Replib: generic programming & Unbound: generic treatment of binders
  ☆46Oct 18, 2022Updated 3 years ago
• eckyputrady / livelog

  View on GitHub
  time tracker in haskell
  ☆10Jul 21, 2015Updated 10 years ago
• UU-ComputerScience / js-asteroids

  View on GitHub
  An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)
  ☆12Dec 1, 2014Updated 11 years ago
• PeterScott / pwstore

  View on GitHub
  Securely store hashed, salted passwords
  ☆20Jun 1, 2016Updated 9 years ago
• emacsclub / emacsclub.github.com

  View on GitHub
  ☆15Feb 10, 2015Updated 11 years ago
• hellertime / time-recurrence

  View on GitHub
  Generate recurring dates.
  ☆17Jan 15, 2024Updated 2 years ago
• jwiegley / simple-conduit

  View on GitHub
  ☆24Jan 23, 2017Updated 9 years ago
• janestreet / lwt-async

  View on GitHub
  Lwt with async backend
  ☆18Jan 2, 2014Updated 12 years ago
• zilberstein / system-fc-coq

  View on GitHub
  ☆12May 9, 2015Updated 10 years ago
• orbitz / opass

  View on GitHub
  Simple password db
  ☆23Nov 23, 2018Updated 7 years ago
• parsonsmatt / lambda

  View on GitHub
  An exploration and implementation of the lambda calculus.
  ☆12Oct 18, 2016Updated 9 years ago
• cau-placc / inversion-plugin

  View on GitHub
  ☆10Updated this week
• UnkindPartition / lexer-applicative

  View on GitHub
  Applicative lexer
  ☆13Nov 26, 2019Updated 6 years ago
• oilandrust / rayhs

  View on GitHub
  A raytracer written in Haskell
  ☆10Aug 26, 2015Updated 10 years ago
• chrisdone-archive / ghc-server

  View on GitHub
  A server interface to GHC.
  ☆19Oct 11, 2014Updated 11 years ago
• RyanGlScott / eliminators

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

  View on GitHub
  A program for evaluating a Haskell expression step-by-step
  ☆50Nov 20, 2016Updated 9 years ago
• takenobu-hs / lazy_evaluation

  View on GitHub
  haskell lazy evaluation illustrated
  ☆72May 3, 2017Updated 8 years ago
• type-theory / type-theory-study-group

  View on GitHub
  Resources for the online Type Theory Study Group
  ☆162Feb 2, 2018Updated 8 years ago
• mietek / formal-logic

  View on GitHub
  TODO
  ☆23Oct 10, 2015Updated 10 years ago