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 2 years ago
- Server for stable, curated Haskell package sets☆109Updated 2 months ago
- Haskell implementation of Mustache template☆95Updated 7 years ago
- The Definition of Standard ML (1990)☆124Updated 11 years ago
- A programming language that runs in Haskell's type system.☆256Updated 9 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆152Updated 6 years ago
- ncurses binding for Haskell☆63Updated 6 months ago
- SML, The Living Language (aka, Successor ML)☆72Updated 9 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- Tool for uploading unikernels into EC2☆77Updated 7 years ago
- System POSIX bindings for Idris.☆36Updated 7 years ago
- API wrapper for Github's API in Haskell with tests☆17Updated 10 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- A pure Haskell implementation of Datalog☆105Updated 5 years ago
- An experimental native Haskell graph database☆62Updated 7 years ago
- Yes, really!☆11Updated 10 years ago
- an example airship app☆14Updated 9 years ago
- A fork of jhc. And also a Haskell compiler.☆136Updated 6 years ago
- MLton for scalable multicore architectures☆59Updated 11 years ago
- Lua parser and pretty-printer☆52Updated 9 years ago
- Haskell library to parse a subset of Ruby objects serialised with Marshal.dump☆33Updated 3 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 3 years ago
- Web site for standardml.org.☆36Updated 2 years ago
- Various XML utility packages for Haskell☆73Updated 2 months ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- SML On Stilts☆37Updated 12 years ago
- The LVish Haskell library☆80Updated 3 years ago