☆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 6 months ago
- Succinct binary serialization☆15Aug 26, 2018Updated 7 years ago
- ☆40Jul 1, 2018Updated 7 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 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 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Demonstrating comonad transformers.☆36Oct 9, 2016Updated 9 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 7 months ago
- Run, evaluate and compile functionality for a variety of different languages and modes.☆12Dec 18, 2025Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Prism-based parsers and pretty printers☆17Jan 1, 2018Updated 8 years ago
- 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 7 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 8 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