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:
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 9 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- Server for stable, curated Haskell package sets☆109Updated last month
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- The LVish Haskell library☆80Updated 3 years ago
- ncurses binding for Haskell☆62Updated 5 months ago
- Yes, really!☆11Updated 10 years ago
- an example airship app☆14Updated 9 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 3 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 3 years ago
- Haskell helpers for deploying to Heroku☆18Updated 10 years ago
- Non-blocking concurrent hashmap for Haskell☆18Updated 8 years ago
- A domain specific language and a code generator desined to create RESTful services for managing an RDBMS with Yesod web framework and Per…☆48Updated 9 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- ☆23Updated 9 years ago
- Hackage search engine☆56Updated 7 years ago
- A simple Prolog interpreter☆42Updated 4 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆56Updated 15 years ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆71Updated 10 years ago
- Type provider library for Idris☆95Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- Transactional monadic actions on top of PostgreSQL.☆58Updated 3 years ago