Very simple Haskell script to uninstall cabal packages
☆28May 28, 2015Updated 10 years ago
Alternatives and similar repositories for cabal-uninstall
Users that are interested in cabal-uninstall are comparing it to the libraries listed below
Sorting:
- Edit distance library for Haskell☆20Mar 12, 2021Updated 4 years ago
- A support vector machine implemented in Haskell.☆33Dec 18, 2010Updated 15 years ago
- Problem Sets for MIT 6.887 Formal Reasoning About Programs, Spring 2017☆20May 10, 2017Updated 8 years ago
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- Unicode alternatives for common functions and operators☆36Nov 16, 2021Updated 4 years ago
- Multidimensional arrays and simple tensor computations☆38Apr 8, 2024Updated last year
- The Powerful Python CMS☆11Nov 20, 2021Updated 4 years ago
- Matrix operations in 100% pure Haskell☆34Nov 28, 2023Updated 2 years ago
- haskell bindings for blas and lapack☆49Feb 3, 2018Updated 8 years ago
- Property-based Testing package for Odin language☆10Nov 11, 2024Updated last year
- This is a read-only mirror of the CRAN R package repository. DMwR — Functions and data for "Data Mining with R"☆10Mar 13, 2017Updated 8 years ago
- CodFS: An Erasure-Coded Clustered Storage System for Efficient Updates and Recovery☆10Mar 31, 2015Updated 10 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- ☆10Jan 28, 2013Updated 13 years ago
- LuxCoreRender Windows Compilation Environment☆13Jun 3, 2024Updated last year
- A mirror of Isabelle/Scala code from the official Isabelle repository at http://isabelle.in.tum.de/repos/isabelle/. Restructured as Eclip…☆15Jul 10, 2014Updated 11 years ago
- COVID19 Healthcare Chatbot☆11Sep 1, 2021Updated 4 years ago
- Fast implementation of Gradient Boosting Machine (GBM) training algorithm.☆10Aug 26, 2019Updated 6 years ago
- Cat photo storage☆14May 26, 2024Updated last year
- A petit_fatfs port for Arduino IDE and Attiny84☆11Sep 3, 2013Updated 12 years ago
- Automatically exported from code.google.com/p/exercisesheet☆11Dec 17, 2015Updated 10 years ago
- pre-release.☆12Jul 15, 2015Updated 10 years ago
- Stream based PDF library☆15Aug 20, 2015Updated 10 years ago
- Official Repo for "Multi-objective Differentiable Neural Architecture Search"☆15Jul 12, 2024Updated last year
- Just a blogging platform☆15Oct 20, 2015Updated 10 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- A tiny, minimalist, slightly-esoteric, concatenative programming language☆15Updated this week
- A free, easy-to-use and well-documented .NET library component for communicating with POP3 mail servers☆14Nov 7, 2012Updated 13 years ago
- VW, Liblinear and StreamSVM compared on webspam☆14Oct 16, 2014Updated 11 years ago
- Easy typing of Unicode symbols in Emacs, tailored for Haskell sources☆14Sep 5, 2011Updated 14 years ago
- ☆11Apr 11, 2019Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- DEPRECATED (Cloud Haskell Platform) in favor of distributed-process-extras, distributed-process-async, distributed-process-client-server,…☆46Nov 4, 2015Updated 10 years ago
- An extensible home automation framework☆70Sep 30, 2015Updated 10 years ago
- ☆11Feb 11, 2025Updated last year
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated 2 months ago
- A tool to help manage environments☆24Mar 10, 2023Updated 3 years ago
- Model of baysig language in Haskell (minus estimate)☆15Jun 23, 2016Updated 9 years ago
- Haskell driver for ClickHouse☆10Jun 15, 2021Updated 4 years ago