Alternatives and similar repositories for thih:

Users that are interested in thih are comparing it to the libraries listed below

• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated last week
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• deech / cabal-auto-expose
  ☆31Updated 3 years ago
• sheaf / ghc-tcplugin-api
  An interface for GHC type-checking plugins
  ☆20Updated 2 months ago
• juhp / hkgr
  Hackager tool for releasing Haskell packages to Hackage
  ☆30Updated 8 months ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• nachivpn / nbe-edsl
  Normalization by Evaluation for Embedded Domain-specific Languages
  ☆31Updated 3 months ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆23Updated 3 months ago
• gelisam / magic-typelevel-elem
  Demonstrating how to make type families faster using typechecker plugins
  ☆21Updated 4 years ago
• haskellari / some
  Existential type.
  ☆36Updated last month
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 6 months ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated 8 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 10 months ago
• Bodigrim / tasty-bench-fit
  Benchmark a given function for variable input sizes and find out its time complexity
  ☆25Updated 7 months ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 2 months ago
• haskell-actions / hackage-publish
  A GitHub action for publishing packages on Hackage
  ☆28Updated last year
• well-typed / memory-usage-zurihac-2021
  ☆34Updated 3 years ago
• luc-tielen / typesystem
  Experiments using a bidirectional typesystem
  ☆17Updated 3 years ago
• SamuelSchlesinger / stm-incremental
  A very simple interface for incremental computation using STM in Haskell.
  ☆13Updated 2 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆36Updated 2 weeks ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆15Updated 5 months ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 2 years ago
• fumieval / tangle
  make analogue for higher kinded data
  ☆8Updated 3 years ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• ekmett / folds
  Folds and sequence algebras
  ☆18Updated last year
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 3 months ago
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 4 years ago
• nachivpn / nbe-course
  NbE course @ Chalmers
  ☆28Updated 4 months ago