FP & Haskell Paper collection; an better reference https://wiki.haskell.org/Research_papers
☆12Apr 17, 2017Updated 9 years ago
Alternatives and similar repositories for haper
Users that are interested in haper are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Learn You a Lambda, a Haskell Tutorial☆47Dec 17, 2016Updated 9 years ago
- Haskell Configuration Loader☆19May 3, 2026Updated 2 weeks ago
- A Haskell event notification library☆46Aug 25, 2010Updated 15 years ago
- Calculate various string metrics efficiently in Common Lisp (Damerau-Levenshtein, Hamming, Jaro, Jaro-Winkler, Levenshtein, etc.)☆20Jan 12, 2021Updated 5 years ago
- Knowledge of classical mechanics, written in haskell.☆14Feb 11, 2013Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Accepted papers for Haskell 2014☆52May 19, 2016Updated 10 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Keyboard controller written in Ivory☆10Mar 3, 2017Updated 9 years ago
- Multihreaded 64 bit c++ files for processing numba arrays☆18Apr 23, 2024Updated 2 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Updated this week
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 8 years ago
- ☆10Dec 5, 2022Updated 3 years ago
- Blender to standalone Cycles exporter.☆11Jan 26, 2016Updated 10 years ago
- Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/☆23Aug 25, 2017Updated 8 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.
- Haskell Standard Input and Output☆46May 13, 2018Updated 8 years ago
- Blazing-fast query execution engine speaks Apache Spark language and has Arrow-DataFusion at its core.☆11Apr 23, 2022Updated 4 years ago
- Dongliang Mu de Blog☆10Apr 24, 2026Updated 3 weeks ago
- Control.Effects☆19Apr 14, 2019Updated 7 years ago
- Totally functional programming literature☆61Feb 15, 2019Updated 7 years ago
- A partial binary associative operator (appendMaybe :: a → a → Maybe a)☆13Oct 10, 2024Updated last year
- Project for HIDING SPEAKER’S SEX IN SPEECH USING ZERO-EVIDENCE SPEAKER REPRESENTATION IN AN ANALYSIS/SYNTHESIS PIPELINE☆15Nov 30, 2022Updated 3 years ago
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 3 years ago
- An Open Encyclopedia of Proof Systems☆125Jul 4, 2022Updated 3 years 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.
- types and functions bridge between foundation and the actual ecosystem (text, vector, bytestring, ...☆19Apr 25, 2017Updated 9 years ago
- Tutorial for LiquidHaskell☆82Sep 30, 2024Updated last year
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- A list with a selected item. Like a zipper, but optional.☆10Aug 30, 2018Updated 7 years ago
- Etlas, the build tool and package manager for the Eta programming language☆63Nov 5, 2019Updated 6 years ago
- pointed and copointed data☆23Mar 3, 2025Updated last year
- Self-Organising Map implementation in Haskell☆24Sep 4, 2022Updated 3 years ago
- ☆13May 17, 2016Updated 10 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 11 months 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.
- ☆15Apr 10, 2023Updated 3 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Many-dimensional type-safe numeric ops☆46Dec 23, 2021Updated 4 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Static site generator☆12Apr 6, 2025Updated last year
- ☆12Jul 17, 2025Updated 10 months ago