A Haskell monad transformer library for data validation
☆38Aug 17, 2023Updated 3 years ago
Alternatives and similar repositories for monad-validate
Users that are interested in monad-validate are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- lucid + htmx = lucid-htmx☆19Jul 31, 2024Updated 2 years ago
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- GHC plugin for hlint☆12Oct 4, 2023Updated 3 years ago
- An efficient finite map from (byte)strings to values.☆20Oct 1, 2026Updated 3 weeks ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A monad for managed values☆50Nov 18, 2025Updated 11 months ago
- Applicative maps☆16Sep 29, 2024Updated 2 years ago
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- Type Level Regular Expressions☆13Sep 26, 2023Updated 3 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆22Mar 22, 2022Updated 4 years ago
- Haskell bindings to Rust's regex library☆19Mar 24, 2025Updated last year
- ☆47Jul 16, 2026Updated 3 months ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- General purpose bi-directional codecs☆16Oct 20, 2023Updated 3 years ago
- Test interactive Haskell examples☆34Sep 25, 2026Updated last month
- todo and unimplemented, robustly implemented☆36Sep 11, 2024Updated 2 years ago
- Batteries-included structured logging library☆31Updated this week
- Bi-directional JSON codecs for argonaut☆38Oct 13, 2025Updated last year
- An interface for GHC type-checking plugins☆22Sep 1, 2026Updated last month
- this is not a working lens library☆11Nov 30, 2022Updated 3 years ago
- Provide warnings for unexpected Core generation☆28Nov 17, 2021Updated 4 years ago
- 🔖 Better Haskell documentation.☆17Sep 11, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- How to use PostgreSQL with Haskell (features and basics like writing queries, complexity, pitfalls, errors, etc.)☆29Oct 27, 2023Updated 3 years ago
- a compiler from a lambda language to an assembly language, as a rewrite system☆16Sep 23, 2025Updated last year
- ☆18Mar 24, 2021Updated 5 years ago
- Haskell monad transformer for weighted, non-deterministic computation☆32Jan 26, 2025Updated last year
- ReScript bindings for the VS Code API☆13Mar 27, 2026Updated 7 months ago
- Compositional Representable Executable Machines☆127Jul 9, 2026Updated 3 months ago
- Tame RecordWildCards☆14Dec 30, 2024Updated last year
- Core modules for a blazing fast markup combinator library☆24May 25, 2025Updated last year
- Codd is a simple-to-use CLI tool that applies plain postgres SQL migrations atomically with strong and automatic cross-environment schema…☆47Jul 14, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Haskell bindings to binaryen.☆14Apr 27, 2021Updated 5 years ago
- A PureScript interpreter in Haskell☆123May 7, 2022Updated 4 years ago
- A curated list of awesome Haskell tutorial modules☆14Apr 7, 2026Updated 6 months ago
- Experiments with Realizability in Univalent Type Theory☆20Oct 21, 2024Updated 2 years ago
- Excel Addin for Haskell☆38Sep 13, 2022Updated 4 years ago
- Unfoldable functors☆16Oct 18, 2026Updated last week
- GHC plugin to branch on whether a constraint is satisfied☆33Jul 29, 2025Updated last year