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
  ☆46Updated this week
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 7 months ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• mrkkrp / ghc-syntax-highlighter
  Syntax highlighter for Haskell using the lexer of GHC
  ☆59Updated 5 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• juspay / jrec
  Literally the best anonymous records
  ☆36Updated last year
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆44Updated last month
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated 6 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 2 years ago
• jcpetruzza / barbies
  ☆92Updated 7 months ago
• TOTBWF / refinery
  ⛏️ A refinement proof framework for haskell
  ☆69Updated last year
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated last year
• alexpeits / harg
  Haskell program configuration using higher kinded data
  ☆29Updated 6 months ago
• haskell-text / text-display
  A Typeclass for user-facing output
  ☆54Updated 3 weeks ago
• matt-noonan / justified-containers
  Standard containers, with keys that carry type-level proofs of their own presence.
  ☆80Updated 4 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 5 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated last year
• Haskell-Chapelure / chapelure
  Chapelure is a diagnostic library for Haskell
  ☆44Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆45Updated 3 weeks ago
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• expipiplus1 / vector-sized
  ☆33Updated 2 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆73Updated last month
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆38Updated 4 months ago
• lehins / scheduler
  A work stealing scheduler
  ☆77Updated last year
• kowainik / validation-selective
  💂‍♂️ Lightweight pure validation based on Applicative and Selective functors
  ☆66Updated 6 months ago
• haskell-actions / run-ormolu
  Ormolu GitHub action
  ☆31Updated 5 months ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago