Alternatives and similar repositories for haskell-titan

Users that are interested in haskell-titan 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 month
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last month
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated 2 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated last week
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 6 months ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• minad / persist
  Minimal binary serialization library with focus on performance
  ☆25Updated last month
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 5 months ago
• augustss / orthotope
  ☆28Updated last week
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated last month
• expipiplus1 / vector-sized
  ☆35Updated 11 months ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 4 months ago
• haskell / ghc-events
  Library and tool for parsing .eventlog files from GHC
  ☆37Updated last month
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 7 months ago
• adamConnerSax / knit-haskell
  Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.
  ☆29Updated last month
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 6 months ago
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆41Updated 2 years ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆56Updated last year
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• aisamanra / config-ini
  A monadic DSL for simple configuration parsing
  ☆26Updated 2 months ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• well-typed / blockio-uring
  Library to perform batches of asynchronous disk IO operations. Implemented using Linux io_uring API.
  ☆15Updated last month
• kayhide / wakame
  Haskell library of row polymorphic record manipulator
  ☆23Updated 4 years ago
• byteverse / bytesmith
  Parse bytes fast
  ☆24Updated 2 weeks ago
• dorchard / codo-notation
  Codo notation for programming with comonads in Haskell
  ☆25Updated 4 years ago
• mstksg / decidable
  Combinators for manipulating dependently-typed predicates.
  ☆14Updated last year
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆34Updated 4 years ago
• matt-noonan / gdp
  Ghosts of Departed Proofs
  ☆61Updated 4 years ago