Alternatives and similar repositories for hsc2hs:

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

• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• haskell-perf / graphs
  ☆40Updated 5 years ago
• Gabriella439 / managed
  A monad for managed values
  ☆50Updated 2 years ago
• myuon / ghc-compiler-notes
  A collection of Notes on GHC
  ☆69Updated 5 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• vincenthz / hs-memory
  haskell memory
  ☆48Updated last year
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated last month
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 5 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 8 months ago
• lehins / scheduler
  A work stealing scheduler
  ☆75Updated 2 months ago
• RyanGlScott / ghc-software-foundations
  The Software Foundations book, in GHC
  ☆82Updated 3 months ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 11 months ago
• ekmett / kan-extensions
  Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
  ☆79Updated last month
• tweag / distributed-closure
  Serializable closures for distributed programming.
  ☆64Updated last year
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated 2 months ago
• isovector / type-sets
  type level sets
  ☆67Updated 5 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• Bodigrim / chimera
  Lazy infinite compact streams with cache-friendly O(1) indexing and applications for memoization
  ☆59Updated 2 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 months ago
• kowainik / type-errors-pretty
  💄🐞 Combinators for writing pretty type errors easily
  ☆55Updated 3 years ago
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 7 months ago
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆65Updated 8 months ago
• byteverse / chronos
  Haskell time library focusing on performance
  ☆57Updated 3 months ago
• serokell / o-clock
  Type-safe time units in Haskell
  ☆49Updated 2 months ago
• ekmett / codex
  UI experiments for coda
  ☆66Updated 3 years ago
• ekmett / constraints
  Tools for programming with ConstraintKinds in GHC
  ☆72Updated 5 months ago