Alternatives and similar repositories for type-inference:

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

• 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 7 months ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 3 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 3 years ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆34Updated last year
• konn / linear-extra
  Missing utilities for Linear Haskell, for array, witness token, memory, parallelism, and streaming.
  ☆12Updated last year
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆26Updated 10 months ago
• deepflowinc-oss / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆39Updated 4 months ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆20Updated last year
• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• konn / herbrand
  An experiment around automated theorem proving in Haskell
  ☆11Updated last month
• haskell-compat / deriving-compat
  Backports of GHC deriving extensions
  ☆13Updated last month
• elpinal / modules
  Implementations of F-ing modules and 1ML, as well as bibliography of (mainly ML-style) modules
  ☆31Updated 2 years ago
• brandonchinn178 / string-syntax
  ☆17Updated last month
• haskellari / some
  Existential type.
  ☆37Updated 4 months ago
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• katsujukou / TaPL-in-PureScript
  The PureScript implementation for the *Types and Programming Language* by B. Pierce
  ☆19Updated 10 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆35Updated last year
• serokell / ghc.dev
  The https://ghc.dev Website Generator
  ☆21Updated 6 months ago
• phadej / hooglite
  Alternative and lite implementation of Hoogle
  ☆11Updated last year
• fumieval / mason
  fleet-footed ByteString builder
  ☆50Updated 8 months ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• well-typed / debuggable
  Utilities for making your applications more debuggable.
  ☆15Updated 4 months ago
• Deewiant / glob
  Haskell library for glob matching
  ☆25Updated 3 years ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• takano-akio / fast-builder
  Fast ByteString Builder
  ☆21Updated last month
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆21Updated 3 years ago
• nomeata / haskell-rec-def
  APIs for more recursive definitions
  ☆19Updated 6 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago