Alternatives and similar repositories for three-wise-monkeys

Users that are interested in three-wise-monkeys are comparing it to the libraries listed below

• Lysxia / first-class-families
  First-class type families
  ☆88Updated 2 weeks ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• dmjio / LearnOpenGL.hs
  LearnOpenGL.com examples ported to Haskell
  ☆32Updated 5 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated 2 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• fireflowerr / sudoku.hs
  sudoku solver in haskell
  ☆41Updated 3 years ago
• pigworker / so-pigworker
  being the scrapings of my stackoverflow answers
  ☆48Updated 5 years ago
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• Gabriella439 / HasCal
  Haskell embedding of PlusCal
  ☆61Updated 3 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 4 months ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• llelf / icfp2020-papers
  ICFP 2020 papers. Crowd-sourced
  ☆91Updated 4 years ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated last month
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆122Updated 4 months ago
• cdepillabout / password
  datatypes and functions for easily working with passwords in Haskell
  ☆57Updated 6 months ago
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆27Updated 3 months ago
• ChrisPenner / astar-monad
  A smart A* search monad transformer which supports backtracking user-state!
  ☆81Updated 3 years ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆94Updated last week
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆56Updated 2 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated last year
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• kowainik / colourista
  ‎️‍🌈 Convenient interface for printing colourful messages
  ☆68Updated 3 weeks ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆92Updated 4 months ago
• fumieval / Haskell-breaking-changes
  ☆88Updated 3 years ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆77Updated 2 years ago
• haskell-github-trust / replace-megaparsec
  Stream editing with Haskell Megaparsec parsers
  ☆79Updated last year
• fresnel / fresnel
  high-powered optics in a small package
  ☆53Updated 8 months ago