ksrky / type-inference

Related projects ⓘ

Alternatives and complementary repositories for type-inference

• cdepillabout / world-peace
  open union and open product types in Haskell
  ☆32Updated 4 years ago
• kowainik / first-class-patterns
  First class patterns and pattern matching, using type families
  ☆17Updated 4 years ago
• reinerp / indexed
  Haskell98 indexed functors, monads, comonads
  ☆25Updated 2 years ago
• egison / sweet-egison
  Haskell library for non-deterministic pattern matching
  ☆17Updated 2 years ago
• haskell / deepseq
  Deep evaluation of data structures
  ☆41Updated 2 months ago
• konn / ghc-wasm-earthly
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆10Updated this week
• egison / egison-haskell
  Template Haskell Implementation of Egison Pattern Matching
  ☆32Updated 4 years ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆29Updated 2 weeks ago
• uemurax / hott-ja
  HoTT in Japanese
  ☆33Updated last year
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• ksrky / Plato
  A purely functional programming language based on higher-order polymorphic lambda calculus
  ☆19Updated 9 months ago
• deepflowinc / guardian
  guardian - the border guardian for your Haskell monorepo package dependencies
  ☆36Updated 2 months ago
• konn / herbrand
  An experiment around automated theorem proving in Haskell
  ☆11Updated last year
• fumieval / mason
  fleet-footed ByteString builder
  ☆49Updated 3 months ago
• wenkokke / priority-sesh
  Session Types with Priority in Linear Haskell
  ☆25Updated 5 months ago
• haskellari / some
  Existential type.
  ☆36Updated 5 months ago
• obsidiansystems / rhyolite
  ☆26Updated 3 weeks ago
• lotz84 / recursion-algorithms
  a collection of various algorithms written using recursion schemes
  ☆21Updated 2 years ago
• haskell-vanguard / haskell-vanguard
  Operation Vanguard: fixing a number of Haskell packages at once
  ☆11Updated 5 years ago
• ollef / dependent-hashmap
  Dependent hash maps
  ☆14Updated 5 months ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆24Updated 5 years ago
• byteverse / json-syntax
  High-performance JSON parser
  ☆24Updated 6 months ago
• RedPRL / stagedtt
  🪆 A Staged Type Theory
  ☆34Updated last year
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• ekmett / intern
  Hash consing for arbitrary Haskell data types
  ☆25Updated 4 months ago
• ekmett / parsnip
  ☆18Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆13Updated 2 years ago
• haskell-compat / deriving-compat
  Backports of GHC deriving extensions
  ☆14Updated 7 months ago
• gallais / agda-presburger
  Deciding Presburger arithmetic in agda
  ☆31Updated last year
• NCrashed / aeson-injector
  Haskell library for injecting fields into aeson values
  ☆13Updated last year