Simple, elegant, profunctorial, applicative validation for product types!
β19Aug 25, 2021Updated 5 years ago
Alternatives and similar repositories for valida
Users that are interested in valida are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π§ Liquid Haskell integration for Cabal and Stackβ25May 30, 2019Updated 7 years ago
- Property based testing for Servant using Hedgehogβ19Apr 25, 2021Updated 5 years ago
- GHC plugin for hlintβ12Oct 4, 2023Updated 2 years ago
- using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskellβ15Feb 21, 2020Updated 6 years ago
- Parse and render URI templates.β17Aug 10, 2026Updated 3 weeks 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.
- Read and write images as massiv arraysβ14Oct 23, 2021Updated 4 years ago
- A simple example of integrating TypeScript and Haskell.β13Aug 25, 2021Updated 5 years ago
- HLint as a GHC source plugin.β31Jul 8, 2024Updated 2 years ago
- An implementation of first-class pattern matches in Haskell.β13Feb 25, 2026Updated 6 months ago
- GHC plugin to desugar ! into do-notationβ39Feb 4, 2026Updated 6 months ago
- QuickCheck extension for higher-order propertiesβ19Feb 14, 2022Updated 4 years ago
- Type-safe printf from parsing GHC TypeLits Symbolβ28Sep 12, 2024Updated last year
- β16Oct 5, 2022Updated 3 years ago
- Require that callers propagate `HasCallStack` constraintsβ21Dec 18, 2024Updated last year
- 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.
- Type safe JSON PostgreSQL queries using bidirectional serializersβ21Nov 27, 2020Updated 5 years ago
- A flexible Haskell API for querying the GitHub REST APIβ14Jan 7, 2026Updated 7 months ago
- It's like your dad's cowsay, but pink!β10Aug 6, 2020Updated 6 years ago
- A theme manager for Firefox written in pure rustβ10Apr 23, 2021Updated 5 years ago
- A utility for managing Hackage dependencies and manipulating Cabal files from the command line.β78Jun 3, 2023Updated 3 years ago
- Show Images in Your Brick TUI Using w3mimgdisplayβ15Jul 31, 2021Updated 5 years ago
- parsec for nimβ13Jun 22, 2020Updated 6 years ago
- GraphQL Schema generation in Haskellβ17Mar 27, 2020Updated 6 years ago
- Cursor data and manipulationβ22Jun 3, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available β’ AdRun AI, ML, and HPC workloads on powerful cloud GPUsβwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Infinite lists aka streamsβ18Aug 18, 2026Updated last week
- Grow procedual artβ37Mar 25, 2025Updated last year
- Classy error-handling (and dispatching!) in Haskell.β46Aug 14, 2019Updated 7 years ago
- Servant Errors wai-middlewareβ25Oct 14, 2024Updated last year
- Launch and manage your Tmux sessions from Dhall files.β17Nov 30, 2020Updated 5 years ago
- Benchmarking Haskell extensible-effect libraries.β34Aug 2, 2020Updated 6 years ago
- Implementation of named parameters for `postgresql-simple` libraryβ40Nov 28, 2025Updated 9 months ago
- Plucky errors and exceptionsβ20Nov 7, 2020Updated 5 years ago
- Some info that supposed to help to understand PureScript from Haskell perspectiveβ32Aug 22, 2018Updated 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.
- Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.β21Jun 22, 2019Updated 7 years ago
- Example of usage polysemy and servantβ57Aug 21, 2019Updated 7 years ago
- A (hopefully) Fast, (hopefully) Thread safe map inspired by evmapβ16Nov 25, 2020Updated 5 years ago
- taskell 2.0β15Oct 27, 2021Updated 4 years ago
- Automatic versioning of JSON formats for Haskell data types (with backwards compatibility)β32May 25, 2026Updated 3 months ago
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Apr 21, 2021Updated 5 years ago
- open union and open product types in Haskellβ31Aug 9, 2020Updated 6 years ago