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
- Server for stable, curated Haskell package sets☆109Updated last month
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 9 years ago
- Yes, really!☆11Updated 10 years ago
- Haskell implementation of Mustache template☆96Updated 6 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- MLton for scalable multicore architectures☆57Updated 11 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- A Haskell web application server.☆61Updated 14 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- ncurses binding for Haskell☆62Updated last month
- The LVish Haskell library☆80Updated 2 years ago
- an example airship app☆14Updated 9 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- A fork of jhc. And also a Haskell compiler.☆135Updated 6 years ago
- A lightweight Haskell binding to the C mysqlclient API☆37Updated 2 years ago
- SML On Stilts☆37Updated 11 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- Collection of various Haskell web benchmarks☆44Updated 12 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- ☆10Updated 9 years ago
- Examples of a simple parser written in both Parsec and Happy/Alex☆51Updated 10 years ago
- An Ivory library inspired by Atom☆14Updated 8 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Fast base64 encoding and decoding for Haskell.☆47Updated last year