Alternatives and similar repositories for acme-cutegirl

Users that are interested in acme-cutegirl are comparing it to the libraries listed below

• travitch / persistent-vector
  Persistent vectors for Haskell based on array mapped tries
  ☆28Updated 3 years ago
• phadej / bound-extras
  ScopeT and ScopeH
  ☆13Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated 2 months ago
• vmchale / atspkg
  Build tool for ATS.
  ☆42Updated 3 years ago
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• archambaultv / sexpresso
  Flexible Haskell library for parsing and printing S-Expressions
  ☆21Updated last year
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 8 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 6 years ago
• Gertjan423 / KHC
  KU Leuven Haskell Compiler
  ☆15Updated 4 years ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆32Updated 2 years ago
• roelvandijk / base-unicode-symbols
  Unicode alternatives for common functions and operators
  ☆36Updated 4 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 8 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• clash-lang / ghc-typelits-natnormalise
  Normalise GHC.TypeLits.Nat equations
  ☆43Updated last week
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Updated 11 months ago
• isovector / hs2
  a new, WIP Haskell compiler
  ☆14Updated 5 years ago
• langston-barrett / CoverTranslator
  A tool for formally verifying Haskell code in Agda
  ☆28Updated 9 years ago
• Lysxia / generic-recursion-schemes
  Folds for recursive types with GHC Generics
  ☆28Updated 4 months ago
• ndmitchell / hexml
  A bad XML parser
  ☆22Updated last year
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 10 years ago
• vrom911 / Rum
  Compiler for the Rum language
  ☆26Updated 6 years ago
• eelco / gdiff
  ☆33Updated 10 years ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• jwiegley / linearscan
  ☆17Updated 3 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• soenkehahn / dead-code-detection
  ☆25Updated 9 years ago
• pietervdvn / ALGT2
  ALGT 2.0
  ☆30Updated 5 years ago
• sjoerdvisscher / fmlist
  FoldMap lists
  ☆12Updated 2 years ago
• Lysxia / metamorph
  Monomorphize polymorphic functions for testing
  ☆36Updated 8 years ago