Existential witnesses, singletons, and classes for operations on GHC TypeLits
☆16Jul 25, 2024Updated 2 years ago
Alternatives and similar repositories for typelits-witnesses
Users that are interested in typelits-witnesses are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Debug Adaptor Protocol (DAP) implementation☆11Sep 16, 2026Updated last month
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Apr 22, 2025Updated last year
- Simple network runner library in Haskell☆11Updated this week
- Haskell bindings to Claude API☆21Aug 1, 2026Updated 2 months ago
- A collection of type-based library search algorithms☆12Sep 8, 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.
- Existential type.☆37May 10, 2026Updated 5 months ago
- Noise generation for Haskell☆20Oct 10, 2026Updated 2 weeks ago
- ☆15Apr 9, 2026Updated 6 months ago
- Haskell bindings to OpenAI☆40Aug 25, 2026Updated last month
- Fixpoint data types☆22Jan 2, 2026Updated 9 months ago
- Ollama client for Haskell☆54Aug 24, 2026Updated last month
- Deriving Storable instances using GHC.Generics☆16Apr 9, 2022Updated 4 years ago
- A Haskell libary for fast arrowized FRP based on signal functions☆19May 8, 2026Updated 5 months ago
- Retro Pacman game in Haskell☆14May 9, 2019Updated 7 years ago
- 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.
- ☆17Aug 17, 2026Updated 2 months ago
- Dependent sums and supporting typeclasses for comparing and displaying them☆57Nov 20, 2023Updated 2 years ago
- Interval datatype, interval arithmetic, and interval-based containers for Haskell☆23Feb 3, 2026Updated 8 months ago
- guardian - the border guardian for your Haskell monorepo package dependencies☆40Sep 1, 2025Updated last year
- File IO (read/write/open) for OsPath API☆25Jan 30, 2026Updated 8 months ago
- Closable, fair, single-wakeup channel type that avoids 0 reader space leaks.☆21Mar 16, 2025Updated last year
- Generate a command line client from a servant API☆28Jan 12, 2024Updated 2 years ago
- Auto Generated Haskell Library for Stripe☆16Mar 31, 2024Updated 2 years ago
- ☆18Oct 11, 2025Updated last year
- 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.
- OpenTelemetry instrumentation for Servant, compatible with hs-opentelemetry.☆16Aug 17, 2026Updated 2 months ago
- A Haskell library for compile-time checked literal values, via QuasiQuoters.☆13Sep 20, 2021Updated 5 years ago
- MCP server for hackage documentation☆12May 17, 2026Updated 5 months ago
- Haskell development resources and best practices☆19Oct 2, 2026Updated 3 weeks ago
- Folds and sequence algebras☆19Mar 12, 2023Updated 3 years ago
- Hypercard-like game engine☆14Feb 7, 2024Updated 2 years ago
- Haskell library of row polymorphic record manipulator☆23Oct 19, 2020Updated 6 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Oct 8, 2026Updated 2 weeks ago
- Compile-time checked printf☆14Aug 3, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- an agent harness is just a monoid in the category of endofunctors☆40Updated this week
- Dependently-typed finite maps (partial dependent products)☆66Oct 19, 2025Updated last year
- ☆11Jun 6, 2022Updated 4 years ago
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 years ago
- ☆58Oct 11, 2025Updated last year
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- A Tigerbeetle database client library for Haskell☆13Apr 8, 2026Updated 6 months ago