ekmett / folds

Related projects ⓘ

Alternatives and complementary repositories for folds

• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 2 years ago
• fumieval / oath
  Composable Concurrent Computation Done Right
  ☆30Updated last year
• rampion / conkin
  Tools for functors from Hask^k to Hask
  ☆23Updated 5 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 3 years ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated last month
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆26Updated 3 years ago
• ocramz / trie-perf
  Performance shootout of various trie implementations
  ☆18Updated 5 years ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• danidiaz / foldl-transduce
  ☆8Updated 3 years ago
• dorchard / effectful-explanations-talk
  "Programs that explain their effects" talk material
  ☆17Updated 6 years ago
• DanBurton / system-f
  System F implemented in Haskell
  ☆24Updated 12 years ago
• jtdaugherty / text-zipper
  A text editor zipper libary
  ☆17Updated last week
• phadej / vec
  Nat, Fin, Vec
  ☆24Updated last week
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• aaronlevin / free-vl
  van Laarhoven Free Monad with Extensible Effects
  ☆24Updated 8 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 7 years ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆28Updated 3 years ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆16Updated 2 months ago
• puffnfresh / th-pprint
  Simplify and render Template Haskell
  ☆18Updated 6 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago