Alternatives and similar repositories for ghc-wpc

Users that are interested in ghc-wpc are comparing it to the libraries listed below

• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 11 months ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 6 years ago
• jwiegley / parsec-free
  ☆23Updated 2 years ago
• gergoerdi / tandoori
  Compositional type checking for Haskell
  ☆38Updated 14 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 11 months ago
• bjpop / ministg
  Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.
  ☆72Updated 5 years ago
• eugmes / imp
  Compiler for IMP programming language implemented in Haskell
  ☆16Updated 5 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 8 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 8 years ago
• kayhide / wakame
  Haskell library of row polymorphic record manipulator
  ☆23Updated 5 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 4 years ago
• jfischoff / are-mutable-references-in-haskell-fast
  Code to go along with the blog post "Are Mutable References in Haskell Fast?"
  ☆10Updated 8 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• ndmitchell / hexml
  A bad XML parser
  ☆22Updated last year
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 2 months ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 3 months ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• nobrakal / tungsten
  Bring fusion to everyone
  ☆14Updated 5 years ago
• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 5 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• lthms / chain
  Extensible, Type Safe Error Handling in Haskell
  ☆13Updated 4 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• mrkgnao / pico
  The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)
  ☆15Updated 7 years ago
• icicle-lang / icicle
  Icicle Streaming Query Language
  ☆28Updated last month
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• rudymatela / leancheck
  enumerative property-based testing for Haskell
  ☆52Updated 4 months ago