playing with hyperfunctions
☆16May 2, 2021Updated 4 years ago
Alternatives and similar repositories for hyperfunctions
Users that are interested in hyperfunctions are comparing it to the libraries listed below
Sorting:
- Typed DSLs for sorting☆20Feb 16, 2018Updated 8 years ago
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.☆14Nov 9, 2020Updated 5 years ago
- Serialization primitives that work with both cereal and binary.☆23Jan 10, 2026Updated last month
- Derive editors for data types.☆28Oct 5, 2014Updated 11 years ago
- CLI tool for Hackage☆27Sep 1, 2025Updated 6 months ago
- Automatically make lenses from data structures implementing Generic☆26Feb 14, 2015Updated 11 years ago
- Fuzzy string search in Haskell☆14Jan 5, 2024Updated 2 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 10 years ago
- lazy continued fractions☆19Aug 5, 2015Updated 10 years ago
- ☆17Jul 23, 2022Updated 3 years ago
- ☆39Oct 19, 2017Updated 8 years ago
- ☆24Aug 11, 2023Updated 2 years ago
- Simplify and render Template Haskell☆18Aug 19, 2018Updated 7 years ago
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Gtk-based screen capturing utility for XMonad.☆25Apr 9, 2025Updated 10 months ago
- A Haskell number theory library.☆15Jul 3, 2017Updated 8 years ago
- A curated wishlist of Haskell libraries, packages, and tools☆17Feb 7, 2016Updated 10 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Jan 14, 2026Updated last month
- The algebra for formal power series in elements of the Weyl algebra☆18Jul 25, 2018Updated 7 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Jun 14, 2018Updated 7 years ago
- Email address validation for Haskell☆43Sep 21, 2024Updated last year
- A game about exponential growth written in Haskell☆31May 11, 2016Updated 9 years ago
- GNU bash backend for Idris☆52Feb 14, 2019Updated 7 years ago
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- A port of miniprl to Haskell with co-/inductive types bolted on the side.☆22May 13, 2016Updated 9 years ago
- Maps using values' monoidal structure during merging☆42Jan 28, 2026Updated last month
- lazy promises☆28Jan 8, 2021Updated 5 years ago
- Replib: generic programming & Unbound: generic treatment of binders☆46Oct 18, 2022Updated 3 years ago
- Pure Haskell implementation of SplitMix pseudo-random number generator☆26Jan 4, 2026Updated last month
- Typeclass for array types☆19Apr 7, 2025Updated 10 months ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- pbrisbin.com source code, using the Yesod haskell web framework☆25Sep 30, 2025Updated 5 months ago
- Expands type synonyms in Template Haskell ASTs☆11Jan 10, 2026Updated last month
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- fast unique variables☆10Aug 23, 2025Updated 6 months ago
- A simple way to query constructors, like cases but slightly more concise☆11Mar 7, 2018Updated 7 years ago