google / ghc-source-gen

Related projects: ⓘ

• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆111Updated last week
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated 3 weeks ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆54Updated 10 months ago
• rampion / constraint-unions
  A syntax for unions of constraints in Haskell
  ☆70Updated 7 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• jcpetruzza / barbies
  ☆92Updated 5 months ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 4 years ago
• well-typed / generics-sop
  Generic Programming using True Sums of Products
  ☆156Updated 4 months ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆92Updated last year
• ekmett / zippers
  Zippers based on lenses and traversals
  ☆38Updated last year
• sdiehl / cabal-edit
  A utility for managing Hackage dependencies and manipulating Cabal files from the command line.
  ☆74Updated last year
• Quid2 / flat
  Principled and efficient binary serialization
  ☆60Updated last year
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆100Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆63Updated 3 months ago
• xnning / EvEff
  Efficient Haskell effect handlers based on evidence translation.
  ☆80Updated 3 years ago
• Simspace / avaleryar
  A logical authorization system
  ☆49Updated 2 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆38Updated 2 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 5 years ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 5 years ago
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆70Updated last year
• turingjump / bookkeeper
  ☆55Updated 5 years ago
• kowainik / prolens
  👓 Profunctor based lightweight implementation of Lenses
  ☆74Updated last year
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆32Updated 4 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated last year
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆121Updated last month
• isovector / type-errors
  tools for writing better type errors
  ☆73Updated last year
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 2 years ago
• agrafix / superrecord
  Haskell: Supercharged anonymous records
  ☆83Updated last year
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 6 years ago