iquiw / cabal-delete
Command line tool to delete cabal library packages
☆25Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for cabal-delete
- Yes, really!☆11Updated 9 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated last year
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆18Updated 5 years ago
- Haskell helpers for deploying to Heroku☆18Updated 9 years ago
- ☆8Updated 2 years ago
- Obsolete, see: https://github.com/feuerbach/bert☆24Updated 11 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated 9 months ago
- TODO☆10Updated 9 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- Template repo for theorem proving in Liquid Haskell☆32Updated 6 years ago
- A semantic highlighter for Idris code☆14Updated 6 years ago
- A Haskell web application server.☆60Updated 14 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- Yet another alternative Haskell Prelude, but this one is awesome!☆51Updated 13 years ago
- Materials for 2-hr LiquidHaskell Workshop☆11Updated 2 years ago
- Haskell JSON library☆27Updated 2 weeks ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated last year
- Generate standalone haddock documentation for a set of packages☆27Updated 4 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- Alef Lazily Evaluates Functions☆31Updated 11 years ago
- ☆16Updated 4 years ago
- Real-time collaborative editing with Operational Transformation☆39Updated 4 months ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 7 years ago
- Advent of Code 2016, in Haskell☆15Updated 7 years ago
- Efficient parsing and encoding of Lisp expressions for Haskell.☆24Updated 4 years ago
- Get the Haskell documentation of a name from a module☆32Updated 5 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 2 years ago
- Fast base64 encoding and decoding for Haskell.☆45Updated last year