Alternatives and similar repositories for cleff

Users that are interested in cleff are comparing it to the libraries listed below

• tweag / capability
  Extensional capabilities and deriving combinators
  ☆217Updated 11 months ago
• tomjaguarpaw / bluefin
  ☆108Updated 2 weeks ago
• fpco / unliftio
  The MonadUnliftIO typeclass for unlifting monads to IO
  ☆148Updated 3 months ago
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆94Updated 3 weeks ago
• Bodigrim / tasty-bench
  Featherlight benchmark framework, drop-in replacement for criterion and gauge.
  ☆81Updated this week
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 5 months ago
• ocharles / weeder
  A re-implementation of weeder using HIE files
  ☆177Updated this week
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆106Updated last year
• well-typed / visualize-cbn
  ☆101Updated 3 months ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆81Updated 5 years ago
• jcpetruzza / barbies
  ☆93Updated last year
• AndrasKovacs / flatparse
  Fast parsing from bytestrings
  ☆161Updated 2 months ago
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆77Updated 2 years ago
• paf31 / dovetail
  A PureScript interpreter in Haskell
  ☆120Updated 3 years ago
• grin-compiler / haskell-code-spot
  Visual tool to spot odd runtime behaviour of Haskell programs.
  ☆109Updated 3 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆177Updated last week
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆82Updated 3 years ago
• fpco / typed-process
  Alternative API for processes, featuring more type safety
  ☆112Updated 2 months ago
• i-am-tom / higgledy
  Higher-kinded data via generics
  ☆170Updated 10 months ago
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆100Updated last year
• turion / rhine
  Haskell Functional Reactive Programming framework with type-level clocks
  ☆130Updated last week
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆129Updated last year
• haskell-perf / dictionaries
  Benchmarks for dictionary data structures: hash tables, maps, tries, etc.
  ☆97Updated 3 years ago
• fumieval / deriving-aeson
  Scrap your hand-rolled aeson instances
  ☆113Updated 7 months ago
• KingoftheHomeless / in-other-words
  A higher-order effect system where the sky's the limit
  ☆91Updated 3 years ago
• tfausak / witch
  Convert values from one type into another.
  ☆76Updated last month
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆163Updated 5 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 weeks ago