haskell / stm

Related projects ⓘ

Alternatives and complementary repositories for stm

• tweag / capability
  Extensional capabilities and deriving combinators
  ☆214Updated 4 months ago
• digital-asset / ghc-lib
  The GHC API, decoupled from GHC versions
  ☆161Updated this week
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆70Updated last year
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆151Updated last month
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆157Updated 5 months ago
• haskell / primitive
  This package provides various primitive memory-related operations.
  ☆114Updated 2 weeks ago
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆95Updated 2 years ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 2 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆122Updated 3 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated 9 months ago
• ndmitchell / extra
  Extra Haskell functions
  ☆94Updated 3 weeks ago
• haskell / parallel
  a library for parallel programming
  ☆92Updated 7 months ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆173Updated last month
• goldfirere / singletons
  Fake dependent types in Haskell using singletons
  ☆287Updated 2 weeks ago
• haskell-perf / sequences
  Benchmarks for sequence data structures: lists, vectors, etc.
  ☆88Updated 2 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 months ago
• fpco / safe-exceptions
  Safe, consistent, and easy exception handling
  ☆134Updated last year
• Gabriella439 / foldl
  Composable, streaming, and efficient left folds
  ☆160Updated 2 months ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆111Updated 2 years ago
• awakesecurity / proto3-suite
  Haskell Protobuf Implementation
  ☆81Updated this week
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆109Updated 2 months ago
• ndmitchell / weeder
  Detect dead exports or package imports
  ☆124Updated 4 years ago
• lehins / scheduler
  A work stealing scheduler
  ☆76Updated last year
• Soostone / katip
  A structured logging framework for Haskell
  ☆205Updated 2 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated last week
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 2 months ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆93Updated last week
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆80Updated last week
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆83Updated 2 weeks ago
• ndmitchell / debug
  Haskell library for debugging
  ☆122Updated 5 years ago