Typed, schema-based, composable Redis library for Haskell
☆10Aug 20, 2026Updated 2 months ago
Alternatives and similar repositories for redis-schema
Users that are interested in redis-schema are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Require that callers propagate `HasCallStack` constraints☆21Dec 18, 2024Updated last year
- A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.☆26Jul 9, 2022Updated 4 years ago
- ☆21Jan 3, 2025Updated last year
- A programming language for gastropods☆10Jun 20, 2024Updated 2 years ago
- ☆23Aug 28, 2026Updated 2 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Mollie API client for Haskell http://www.mollie.com☆21Apr 21, 2020Updated 6 years ago
- An Android app to browse GitHub repositories☆16Sep 5, 2026Updated last month
- Strongly typed paths in Haskell☆16Nov 14, 2025Updated 11 months ago
- Experimental tool to build reports on GHC build time for your projects.☆24Jan 5, 2023Updated 3 years ago
- Visual Studio Code Extension(s) for Rzk proof assistant.☆11Jul 25, 2026Updated 3 months ago
- ☆11Jun 29, 2026Updated 4 months ago
- Efficiently scale, crop, flip images with JuicyPixels☆15Sep 29, 2026Updated last month
- Simple Telegram Bot written on FORTRAN for generating LaTeX pictures in private messages and inline mode☆10Jan 26, 2019Updated 7 years ago
- A basic WEB chat based on Haskell, HTMX and Tailwindcss☆11Sep 27, 2022Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Telegram Lambdabot Bot☆11May 29, 2024Updated 2 years ago
- ☆21Updated this week
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- An interactive fiction (text adventure) library in Haskell, inspired by Inform7.☆22Sep 5, 2026Updated last month
- ☆13Nov 30, 2025Updated 11 months ago
- Matrix builds for cabal☆18Jun 8, 2026Updated 4 months ago
- Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.☆21Jun 22, 2019Updated 7 years ago
- A command-line text editor in OCaml.☆13Apr 26, 2025Updated last year
- Nim Kdb type-safe bindings☆17Sep 1, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Haskell implementation of data structures for data science☆25Jan 2, 2026Updated 9 months ago
- Software/Circuit info for my kazoo with built-in autotune (and MIDI control!!)☆13Aug 29, 2024Updated 2 years ago
- OpenAPI 3.0 data model☆49Apr 22, 2026Updated 6 months ago
- Omarchy Quattro, integrated natively with NixOS.☆16Sep 10, 2026Updated last month
- Nix Watch watches over your project's source for changes, and runs Nix commands when they occur.☆20Mar 19, 2025Updated last year
- A library for producing terminal plots.☆83Jul 1, 2026Updated 3 months ago
- Automatically generate a GraphQL API for any SQLite database☆28Jul 22, 2026Updated 3 months ago
- An experimental text editor using freetype2 and OpenGL. Written in Haskell.☆12Jan 23, 2014Updated 12 years ago
- A modern package index for the Haskell ecosystem☆159Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Create PR to bump Haskell dependency bounds☆26Mar 18, 2026Updated 7 months ago
- Desk-Booking Web Application☆44Jul 7, 2026Updated 3 months ago
- ☆16Mar 29, 2023Updated 3 years ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 years ago
- Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.☆19Apr 3, 2023Updated 3 years ago
- ☆33Updated this week
- NixOS module + package for the River compositor (0.4.0+), with window managers that support it.☆22Oct 19, 2026Updated last week