A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.
☆138Aug 13, 2018Updated 7 years ago
Alternatives and similar repositories for redish
Users that are interested in redish are comparing it to the libraries listed below
Sorting:
- ☆16Feb 18, 2025Updated last year
- A natural transformation package☆16Jan 8, 2026Updated 2 months ago
- Example CRUD web server+client using Servant☆34Sep 5, 2022Updated 3 years ago
- A dead simple networked key/value store☆115Sep 14, 2015Updated 10 years ago
- Declarative, Compositional Url Handling for WAI☆10Sep 28, 2023Updated 2 years ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- A Haskell library for generating Ruby consumers of Servant APIs.☆23Mar 2, 2026Updated last week
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- Prints lines with IDE friendly stack traces in Haskell.☆12Sep 12, 2019Updated 6 years ago
- A Turtle script I use to kick off attic☆11Feb 23, 2017Updated 9 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 5 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated last month
- A high level HTTP client for Haskell that focuses on ease of use☆62Oct 13, 2017Updated 8 years ago
- A Redis client library for Haskell.☆334Jan 8, 2026Updated 2 months ago
- The Pico core language, and the Bake algorithm for elaborating Dependent Haskell into the former (WIP)☆15Feb 15, 2018Updated 8 years ago
- Haskell pretty printing library supporting indentation, mixfix operators, and automatic line breaks.☆14Jan 26, 2017Updated 9 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- An image-processing library for Haskell.☆10Mar 26, 2016Updated 9 years ago
- Call Haskell functions from any programming language via serialization and dynamic libraries☆401Jun 17, 2022Updated 3 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- Monad Transformers and Classes☆76Jun 25, 2019Updated 6 years ago
- Work on type class deriving with elaboration reflection☆32Sep 9, 2018Updated 7 years ago
- A TOML parser for Idris 2☆17Jun 27, 2024Updated last year
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Feb 8, 2024Updated 2 years ago
- Prelude written in @Serokell☆185Mar 3, 2026Updated last week
- Converting to/from HTTP API data like URL pieces, headers and query parameters.☆53Jan 4, 2026Updated 2 months ago
- ☆46Feb 9, 2026Updated last month
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- Generic Programming using True Sums of Products☆162Jan 7, 2026Updated 2 months ago
- 🍎 Play Bad Apple! with Haskell☆15Jul 22, 2022Updated 3 years ago
- A JSON API server written in Haskell☆66Nov 12, 2015Updated 10 years ago
- An aggregation of all online content related to Haskell.☆91Jun 22, 2018Updated 7 years ago
- Dynamic network FRP with events and continuous values☆52Aug 4, 2020Updated 5 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 8 years ago
- Remove all the cookies on the tray! - The Haskell iOS & Android board game☆28Mar 2, 2020Updated 6 years ago
- A Common Intermediate Language backend for Idris 1☆134Oct 29, 2018Updated 7 years ago
- A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…☆633Mar 6, 2021Updated 5 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago