☆96Dec 18, 2014Updated 11 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:
- Totally functional programming literature☆60Feb 15, 2019Updated 7 years ago
- Implementation of Haskell CRDTs (Commutative Replicated Data Types)☆13Mar 5, 2012Updated 14 years ago
- ☆16Oct 11, 2025Updated 5 months ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- ☆40Jul 1, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Paris Functional Programming Meetup☆27Mar 21, 2020Updated 6 years ago
- Extensible sums and products for Haskell☆19Feb 25, 2026Updated last month
- Cloud Haskell Demonstration☆18Sep 5, 2015Updated 10 years ago
- an experiment in presenting code.☆14Aug 11, 2020Updated 5 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 10 years ago
- convert simple cryptol expressions into finite-state machines☆22Sep 15, 2017Updated 8 years ago
- Elixir Mini Conf - 15 de Outubro de 2016 - São Paulo☆10Mar 16, 2016Updated 10 years ago
- Shamir Secret Sharing☆21Nov 27, 2019Updated 6 years ago
- Edison: A Library of Efficient Data Structures☆57Jan 16, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- a programming language with channels and coroutines/threads☆10Jul 5, 2024Updated last year
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- (unmaintained) A discrete FRP DSL for describing better build pipelines.☆22Aug 4, 2017Updated 8 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 8 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Orchard Opetopic Proof Assistant☆29May 2, 2016Updated 9 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 7 years ago
- ☆11Jun 19, 2021Updated 4 years ago
- Card game using Haskell miso☆11Mar 12, 2026Updated 2 weeks ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Haskell 2010 stream comonads☆24Dec 6, 2024Updated last year
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated 2 months ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- A more elegant specification for FRP☆24Jan 8, 2024Updated 2 years ago
- Composable Concurrent Computation Done Right☆30Jan 3, 2023Updated 3 years ago
- GHC development flow☆24May 3, 2017Updated 8 years ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 6 months ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Dec 18, 2025Updated 3 months ago
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Efficient search weighted by an ordered monoid with monus.☆19Dec 12, 2022Updated 3 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 6 years ago
- Reflex FRP is a composable, cross-platform functional reactive programming framework for Haskell. It allows you to build interactive comp…☆34Aug 8, 2025Updated 7 months ago
- What I Wish I Knew While Learning Nix☆34Dec 9, 2021Updated 4 years ago
- Haskell JIT☆186Jan 19, 2020Updated 6 years ago
- Slides and handwritten notes on the course on models of programming languages☆53Nov 10, 2020Updated 5 years ago
- An implementation of Google's Protocol Buffers in Haskell.☆96Oct 2, 2025Updated 5 months ago