A Git annex repository of papers
☆718Dec 23, 2018Updated 7 years ago
Alternatives and similar repositories for papers
Users that are interested in papers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆26Mar 7, 2016Updated 10 years ago
- A book about large-scale design in Haskell☆75Sep 23, 2014Updated 11 years ago
- Haskell papers optimized for my e-reader.☆273Dec 14, 2016Updated 9 years ago
- Inspection Testing for Haskell☆192Jan 17, 2026Updated 7 months ago
- Accepted papers for ICFP 2014☆118May 19, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A Haskell translation of Idris's original algebraic effects library☆41Sep 23, 2016Updated 9 years ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 7 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 10 years ago
- Generically derive traversals, lenses, and prisms.☆442Aug 27, 2025Updated 11 months ago
- A CSS preprocessor as embedded Haskell.☆365Sep 5, 2025Updated 11 months ago
- Link to preprints for ICFP'16 and co-located events☆139Oct 31, 2016Updated 9 years ago
- Networks of composable stream transducers☆340Mar 3, 2025Updated last year
- ☆116Aug 14, 2015Updated 11 years ago
- A special interest group for companies and individuals interested in commercial usage of Haskell☆460Mar 12, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Accepted papers for POPL 2015☆66May 23, 2016Updated 10 years ago
- Stream postgresql-query results using the streaming library☆24Mar 6, 2024Updated 2 years ago
- A small web programming library on top of reactive-banana and virtual-dom☆80Aug 25, 2015Updated 10 years ago
- Hadrian: a new build system for the Glasgow Haskell Compiler. Now merged into the GHC tree!☆207Feb 4, 2019Updated 7 years ago
- Functional workflows☆366Jun 4, 2026Updated 2 months ago
- Type safe interface for working in subcategories of Hask☆421May 16, 2019Updated 7 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆635Mar 6, 2021Updated 5 years ago
- Structured editing minor mode for Haskell in Emacs☆547Feb 22, 2019Updated 7 years ago
- Typed and composable spreadsheets☆187Sep 5, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.☆261Feb 26, 2026Updated 5 months ago
- The engine for haskell ide-integration. Not an IDE☆2,354Dec 23, 2020Updated 5 years ago
- A collection of papers, theses, and books (in PDF format) on Haskell, Type Theory, Category Theory, FRP, and other FPs related topics☆79Aug 8, 2017Updated 9 years ago
- Compositional pipelines☆492Oct 15, 2022Updated 3 years ago
- Hacking GHC's Stack for Fun and Profit (featuring The Glorious Haskell Debugger v0.0.1 Pre-alpha)☆69Jan 21, 2014Updated 12 years ago
- A List of Foundational Haskell Papers☆887Nov 8, 2024Updated last year
- Proposed compiler and language changes for GHC and GHC/Haskell☆705Updated this week
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆379May 14, 2023Updated 3 years ago
- haskell ghc-illustrated☆263Feb 13, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆381Mar 15, 2026Updated 5 months ago
- Shell programming, Haskell style☆976Sep 23, 2025Updated 10 months ago
- being the materials for CS410 Advanced Functional Programming in the 2014-15 session☆72Jun 2, 2015Updated 11 years ago
- higher-order, no-boilerplate monads☆1,078Mar 15, 2025Updated last year
- Nix and Haskell in production☆1,167Sep 22, 2023Updated 2 years ago
- Using Backpack to abstract over the main Haskell streaming libraries.☆34Sep 16, 2017Updated 8 years ago
- This library maps datatypes to a relational model, in a way similar to what ORM libraries do in OOP. See the tutorial https://www.schoolo…☆181Jul 26, 2024Updated 2 years ago