mikeizbicki / subhaskView external linksLinks
Type safe interface for working in subcategories of Hask
☆420May 16, 2019Updated 6 years ago
Alternatives and similar repositories for subhask
Users that are interested in subhask are comparing it to the libraries listed below
Sorting:
- Homomorphic machine learning☆1,729May 29, 2016Updated 9 years ago
- GHC plugin that improves Haskell code's numerical stability☆194Oct 6, 2015Updated 10 years ago
- An optimized general monad transformer for streaming applications, with a simple prelude of functions☆107Jul 18, 2018Updated 7 years ago
- Let GHC prove program equations for you☆146Nov 4, 2018Updated 7 years ago
- Empire strikes back☆460Jun 14, 2023Updated 2 years ago
- Generically derive traversals, lenses, and prisms.☆440Aug 27, 2025Updated 5 months ago
- Compiling to Categories☆458Feb 28, 2024Updated last year
- Fast linear time sorting and discrimination for a large class of data types☆138Jun 1, 2025Updated 8 months ago
- A bare-bones calculus-of-constructions☆383Sep 4, 2022Updated 3 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆634Mar 6, 2021Updated 4 years ago
- A faster date and time library based on time☆47Jan 16, 2026Updated 3 weeks ago
- An either-or-both data type, with corresponding hybrid error/writer monad transformer.☆120May 31, 2025Updated 8 months ago
- Proposed compiler and language changes for GHC and GHC/Haskell☆701Jan 5, 2026Updated last month
- Lean Haskell Benchmarking☆90Aug 30, 2022Updated 3 years ago
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 8 years ago
- Richard A. Eisenberg's PhD Dissertation☆206Jul 19, 2018Updated 7 years ago
- All of `base` without the `Prelude` module☆44Jan 30, 2023Updated 3 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆208Feb 4, 2019Updated 7 years ago
- Automatic Differentiation☆387Jan 20, 2026Updated 3 weeks ago
- A language experiment -- irc.freenode.net ##coda☆163Apr 10, 2024Updated last year
- Data frames for tabular data.☆302Nov 1, 2023Updated 2 years ago
- Deep Learning in Haskell☆1,451Dec 8, 2023Updated 2 years ago
- ☆89Apr 28, 2024Updated last year
- Release with confidence, state-of-the-art property testing for Haskell.☆694Jan 12, 2026Updated last month
- hpack: A modern format for Haskell packages☆661Jan 18, 2026Updated 3 weeks ago
- A lightweight (but compatible with ‘lens’) lenses library☆297Sep 29, 2025Updated 4 months ago
- constraint level if statements☆117Nov 29, 2017Updated 8 years ago
- Inspection Testing for Haskell☆189Jan 17, 2026Updated 3 weeks ago
- Very low feature GHCi based IDE☆1,177Mar 1, 2024Updated last year
- Example code for how we swap compiled code within a running Haskell process.☆174Sep 24, 2018Updated 7 years ago
- A haskell numeric prelude, providing a clean structure for numbers and operations that combine them.☆71Jan 10, 2026Updated last month
- A typeclass-based Prelude.☆109Jul 4, 2016Updated 9 years ago
- Linear algebra and numerical computation☆399Jun 25, 2024Updated last year
- The strongly hyped Haskell interpreter.☆377Oct 27, 2025Updated 3 months ago
- ☆116Aug 14, 2015Updated 10 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆378May 14, 2023Updated 2 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆161Mar 23, 2021Updated 4 years ago
- Filter with effects☆76Jan 5, 2025Updated last year
- Regex-based parsing with an applicative interface☆130Dec 19, 2021Updated 4 years ago