fmthoma / functional-data-structures-talk

Related projects ⓘ

Alternatives and complementary repositories for functional-data-structures-talk

• kosmikus / records-sop
  Experimental implementation of generic record subtyping
  ☆18Updated 6 months ago
• phadej / kleene
  Kleene algebra, regular expressions
  ☆32Updated last year
• scrive / log
  Structured logging solution.
  ☆35Updated last year
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated last year
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 3 years ago
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆48Updated 7 months ago
• well-typed / ixset-typed
  More strongly typed variant of the ixset Haskell package
  ☆23Updated 3 months ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆15Updated 2 years ago
• aisamanra / config-ini
  A monadic DSL for simple configuration parsing
  ☆24Updated last year
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 3 months ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆26Updated 4 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 weeks ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• laurmcarter / type-combinators
  Type level lists, pairs, sums, their operations, and their properties.
  ☆24Updated 6 years ago
• composewell / compact-list
  An append only list in a compact region
  ☆25Updated 6 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• joelwilliamson / bimap
  Bidirectional mapping between two key types
  ☆22Updated 6 months ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆37Updated 7 years ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆17Updated last month
• int-index / union
  Extensible type-safe unions for Haskell
  ☆32Updated 2 months ago
• sheyll / newtype-zoo
  A Zoo of Haskell Newtype Wrappers
  ☆14Updated 3 years ago
• erikd / jenga
  Generate a cabal freeze file from a stack.yaml
  ☆36Updated 6 years ago
• k0001 / di
  Easy and powerful typeful logging without monad towers, in Haskell.
  ☆26Updated 6 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• grin-compiler / ghc-wpc
  GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…
  ☆10Updated 9 months ago
• haskellari / splitmix
  Pure Haskell implementation of SplitMix pseudo-random number generator
  ☆25Updated 3 months ago
• haskell-github-trust / thyme
  A faster date and time library based on time
  ☆46Updated last year
• phadej / vec
  Nat, Fin, Vec
  ☆24Updated 2 weeks ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year