Alternatives and similar repositories for acme-cutegirl

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

• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 3 years ago
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Updated 10 months ago
• phadej / bound-extras
  ScopeT and ScopeH
  ☆13Updated last year
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆35Updated 2 weeks ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆34Updated 3 years ago
• haroldcarr / json-pretty-print
  compact, human-readable json pretty printing
  ☆14Updated 2 years ago
• ezyang / compact
  Compact regions library for Haskell
  ☆82Updated last year
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 7 years ago
• TOTBWF / omit-generics
  Omit fields for instance deriving
  ☆37Updated 5 years ago
• ezyang / ghc-shake
  ghc --make reimplemented with Shake
  ☆32Updated 2 years ago
• TOTBWF / iso
  A reversible language
  ☆22Updated 7 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆30Updated 6 years ago
• merijn / lambda-except
  ☆11Updated 9 years ago
• mniip / yoctoparsec
  A truly tiny monadic parsing library
  ☆28Updated 4 years ago
• hvr / head.hackage
  This is not the Git repo you're looking for...
  ☆25Updated 6 years ago
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 5 years ago
• csabahruska / manual-stg-experiment
  Manually constructed STG programs compiled with the standard GHC codegen backend.
  ☆24Updated 4 years ago
• llvm-hs / llvm-hs-typed
  Type Safe LLVM IR ( Experimental )
  ☆49Updated 7 years ago
• zenzike / yoda
  A simple combinator library
  ☆30Updated 6 years ago
• nomeata / containers-verified
  A package re-exporting the verified subset of containers
  ☆20Updated 7 years ago
• ekmett / perhaps
  A monad, perhaps.
  ☆32Updated 5 years ago
• osa1 / StrictCore
  An experimental intermediate language for GHC
  ☆36Updated 8 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated last year
• achirkin / constraints-deriving
  Programmatically create new instances using core-to-core plugins
  ☆11Updated 4 years ago
• winterland1989 / unboxed-ref
  Fast unboxed references for ST and IO monad
  ☆15Updated 8 years ago
• haskell-backpack / backpack-str
  The Str signature and implementations
  ☆21Updated 8 years ago
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 5 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆34Updated 4 years ago
• thufschmitt / tix
  [WIP] A type system for nix
  ☆63Updated 6 years ago
• lesserfish / PeepingTom
  A virtual memory scanner
  ☆10Updated last year