typedbyte / effet

Related projects ⓘ

Alternatives and complementary repositories for effet

• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 2 years ago
• haskell / cabal-cache
  CI assistant
  ☆45Updated this week
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• isovector / type-sets
  type level sets
  ☆67Updated 4 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 5 months ago
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated 5 months ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• juspay / jrec
  Literally the best anonymous records
  ☆36Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated 5 months ago
• ekmett / distributive
  Dual Traversable
  ☆41Updated last year
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• expipiplus1 / vector-sized
  ☆33Updated last month
• freckle / blammo
  Batteries-included structured logging library
  ☆29Updated 2 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 2 months ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated 2 months ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated last month
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated this week
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated last year
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 6 months ago
• jcpetruzza / barbies
  ☆92Updated 7 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆53Updated 2 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆44Updated 3 weeks ago