Alternatives and similar repositories for cabal-delete

Users that are interested in cabal-delete are comparing it to the libraries listed below

• jswebtools / language-ecmascript
  Haskell library: ECMAScript parser, pretty-printer and additional tools
  ☆46Updated last year
• patrickt / blimp
  an example airship app
  ☆14Updated 9 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• lymar / hastache
  Haskell implementation of Mustache template
  ☆96Updated 7 years ago
• commercialhaskell / stackage-server
  Server for stable, curated Haskell package sets
  ☆109Updated last month
• SMLFamily / SML-The-Living-Language
  SML, The Living Language (aka, Successor ML)
  ☆72Updated 9 years ago
• nikivazou / thesis
  Liquid Haskell: How to turn Haskell into a Theorem Prover
  ☆13Updated 9 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 10 years ago
• iu-parfunc / lvars
  The LVish Haskell library
  ☆80Updated 3 years ago
• HackerFoo / peg
  A lazy non-deterministic concatenative programming language
  ☆55Updated 12 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• moonmaster9000 / bird
  A sinatra-ish framework written in haskell, riding on top of Hack
  ☆57Updated 14 years ago
• cmeiklejohn / distributed-data-structures
  Distributed Data Structures in Coq
  ☆49Updated 12 years ago
• mrb / idris-ruby
  Yes, really!
  ☆11Updated 10 years ago
• philipcunningham / ruby-marshal
  Haskell library to parse a subset of Ruby objects serialised with Marshal.dump
  ☆33Updated 3 years ago
• ziman / idris-bytes
  FFI-based byte buffers for Idris
  ☆10Updated 6 years ago
• seliopou / typo
  A programming language that runs in Haskell's type system.
  ☆256Updated 9 years ago
• chrisdone-archive / haskell-style-guide
  ☆94Updated 9 years ago
• np / ling
  LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
  ☆108Updated 2 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• sdiehl / llvm-tutorial-standalone
  DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )
  ☆37Updated 8 years ago
• edwinb / EpiVM
  Epic - a Supercombinator Compiler
  ☆64Updated 10 years ago
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 5 years ago
• idris-hackers / IdrisWeb
  A secure web framework, built in the Idris language.
  ☆110Updated 11 years ago
• bos / snappy
  Fast Haskell bindings to Google's Snappy compression library
  ☆31Updated 3 years ago
• pseudonom / phantheck
  Integrates QuickChecked properties into the type system with phantom types
  ☆34Updated 9 years ago
• thoughtpolice / strict-ghc-plugin
  A plugin for GHC to turn Haskell into a strict language
  ☆27Updated 13 years ago
• leepike / Copilot
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆152Updated 6 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆33Updated 10 years ago
• snapframework / snap-website
  Snapframework.com source code
  ☆78Updated 5 years ago