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
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- Yes, really!☆11Updated 10 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- Library for parsing, transforming and producing PDF files☆25Updated 14 years ago
- an example airship app☆14Updated 9 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Updated 8 years ago
- System POSIX bindings for Idris.☆36Updated 6 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Snapframework.com source code☆78Updated 5 years ago
- The LVish Haskell library☆80Updated 2 years ago
- ncurses binding for Haskell☆62Updated 2 months ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- An OCaml javascript kernel for the IPython notebook☆58Updated 8 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- SML On Stilts☆37Updated 11 years ago
- Server for stable, curated Haskell package sets☆109Updated 3 months ago
- Collection of various Haskell web benchmarks☆44Updated 12 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago
- A plugin for GHC to turn Haskell into a strict language☆27Updated 13 years ago
- Bindings to Haskell's IO monad which respect Agda's semantics☆24Updated 6 years ago
- A fast Haskell client library for the Riak decentralized data store☆50Updated 2 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 6 years ago
- ☆23Updated 9 years ago