iquiw / cabal-deleteLinks
Command line tool to delete cabal library packages
☆24Updated 10 years ago
Alternatives and similar repositories for cabal-delete
Users that are interested in cabal-delete are comparing it to the libraries listed below
Sorting:
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- ncurses binding for Haskell☆62Updated 3 months ago
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- Convert/mirror darcs repos into git repos☆101Updated last year
- Server for stable, curated Haskell package sets☆109Updated 4 months ago
- an example airship app☆14Updated 9 years ago
- Various XML utility packages for Haskell☆73Updated 3 months ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 13 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Snapframework.com source code☆78Updated 5 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- Haskell helpers for deploying to Heroku☆18Updated 10 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- Type provider library for Idris☆95Updated 7 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Yes, really!☆11Updated 10 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago