Alternatives and similar repositories for type-inference:

Users that are interested in type-inference are comparing it to the libraries listed below

• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 6 months ago
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆39Updated 3 months ago
• haskellari / some
  Existential type.
  ☆37Updated 3 months ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• fumieval / mason
  fleet-footed ByteString builder
  ☆50Updated 8 months ago
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆11Updated 11 months ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆26Updated 9 months ago
• takano-akio / fast-builder
  Fast ByteString Builder
  ☆21Updated last month
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆30Updated 3 months ago
• monadfix / shower
  Clean up the formatting of 'show' output
  ☆21Updated 7 months ago
• parsonsmatt / require-callstack
  Require that callers propagate `HasCallStack` constraints
  ☆21Updated 3 months ago
• takenobu-hs / commandline-haskell
  command-line Haskell with 'ghc -e'
  ☆22Updated 7 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• obsidiansystems / rhyolite
  ☆29Updated 2 months ago
• msakai / data-interval
  Interval datatype, interval arithmetic, and interval-based containers for Haskell
  ☆21Updated last month
• bgamari / frisby
  Linear time composable parser for PEG grammars
  ☆10Updated last year
• konn / linear-extra
  Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
  ☆11Updated last year
• int-index / union
  Extensible type-safe unions for Haskell
  ☆33Updated 2 weeks ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• NickSeagull / ramus
  📶 - Elm style FRP library for Haskell
  ☆16Updated 6 years ago
• kozross / diablerie
  All the byte bashing you didn't know you wanted in Haskell.
  ☆21Updated 3 years ago
• expipiplus1 / vector-sized
  ☆35Updated 6 months ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆26Updated 11 months ago