TotallyNotChase/valida external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

TotallyNotChase/valida

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/TotallyNotChase/valida)

Close

TotallyNotChase / validaView on GitHubMore

• External links
• Readme badge

Simple, elegant, profunctorial, applicative validation for product types!

☆19Aug 25, 2021Updated 4 years ago

Alternatives and similar repositories for valida

Users that are interested in valida are comparing it to the libraries listed below

• marcin-rzeznicki / hspec-tables

  View on GitHub
  Table-driven (by-example) HSpec tests
  ☆10Jan 29, 2021Updated 5 years ago
• felixmulder / hedgehog-servant

  View on GitHub
  Property based testing for Servant using Hedgehog
  ☆19Apr 25, 2021Updated 4 years ago
• spinda / liquidhaskell-cabal

  View on GitHub
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25May 30, 2019Updated 6 years ago
• SamuelSchlesinger / generic-match

  View on GitHub
  An implementation of first-class pattern matches in Haskell.
  ☆13Updated this week
• SamuelSchlesinger / hs-ts

  View on GitHub
  A simple example of integrating TypeScript and Haskell.
  ☆13Aug 25, 2021Updated 4 years ago
• mawww / kak-ycmd

  View on GitHub
  YouCompleteMe support script for Kakoune
  ☆15Sep 27, 2018Updated 7 years ago
• legendofmiracles / Themefox-Manager

  View on GitHub
  A theme manager for Firefox written in pure rust
  ☆10Apr 23, 2021Updated 4 years ago
• MercuryTechnologies / hlint-plugin

  View on GitHub
  GHC plugin for hlint
  ☆11Oct 4, 2023Updated 2 years ago
• joom / direct-reflection-for-free

  View on GitHub
  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
• xmonader / nim-parsec

  View on GitHub
  parsec for nim
  ☆13Jun 22, 2020Updated 5 years ago
• prikhi / brick-image

  View on GitHub
  Show Images in Your Brick TUI Using w3mimgdisplay
  ☆15Jul 31, 2021Updated 4 years ago
• DeflatedPickle / flamingo

  View on GitHub
  It's like your dad's cowsay, but pink!
  ☆10Aug 6, 2020Updated 5 years ago
• lehins / massiv-io

  View on GitHub
  Read and write images as massiv arrays
  ☆13Oct 23, 2021Updated 4 years ago
• j-mie6 / design-patterns-for-parser-combinators

  View on GitHub
  A Really Cool Calculator written in Haskell... or is it?
  ☆45Aug 26, 2021Updated 4 years ago
• tfausak / splint

  View on GitHub
  HLint as a GHC source plugin.
  ☆31Jul 8, 2024Updated last year
• NorfairKing / cursor

  View on GitHub
  Cursor data and manipulation
  ☆22May 29, 2025Updated 9 months ago
• tfausak / monadoc-5

  View on GitHub
  🔖 Better Haskell documentation.
  ☆17Sep 11, 2020Updated 5 years ago
• tfausak / burrito

  View on GitHub
  Parse and render URI templates.
  ☆16Jan 14, 2026Updated last month
• bowbahdoe / leftright-map-java

  View on GitHub
  A (hopefully) Fast, (hopefully) Thread safe map inspired by evmap
  ☆14Nov 25, 2020Updated 5 years ago
• JonathanLorimer / weft

  View on GitHub
  GraphQL Schema generation in Haskell
  ☆17Mar 27, 2020Updated 5 years ago
• Lysxia / quickcheck-higherorder

  View on GitHub
  QuickCheck extension for higher-order properties
  ☆19Feb 14, 2022Updated 4 years ago
• telugu-boy / seedimg

  View on GitHub
  ☆15Jun 20, 2021Updated 4 years ago
• unclechu / purescript-for-haskellers

  View on GitHub
  Some info that supposed to help to understand PureScript from Haskell perspective
  ☆32Aug 22, 2018Updated 7 years ago
• talyz / fromElisp

  View on GitHub
  An Emacs Lisp reader in Nix.
  ☆39Aug 18, 2024Updated last year
• JakobBruenker / monadic-bang

  View on GitHub
  GHC plugin to desugar ! into do-notation
  ☆38Feb 4, 2026Updated 3 weeks ago
• patrickt / effects-benchmarks

  View on GitHub
  Benchmarking Haskell extensible-effect libraries.
  ☆34Aug 2, 2020Updated 5 years ago
• nomeata / kaleidogen

  View on GitHub
  Grow procedual art
  ☆37Mar 25, 2025Updated 11 months ago
• smallhadroncollider / taskell-2.0

  View on GitHub
  taskell 2.0
  ☆15Oct 27, 2021Updated 4 years ago
• brandonchinn178 / github-rest

  View on GitHub
  A flexible Haskell API for querying the GitHub REST API
  ☆15Jan 7, 2026Updated last month
• utdemir / qualified-imports-plugin

  View on GitHub
  ☆16Oct 5, 2022Updated 3 years ago
• danieljharvey / tmux-mate

  View on GitHub
  Launch and manage your Tmux sessions from Dhall files.
  ☆17Nov 30, 2020Updated 5 years ago
• Bodigrim / infinite-list

  View on GitHub
  Infinite lists aka streams
  ☆18Dec 19, 2025Updated 2 months ago
• parsonsmatt / require-callstack

  View on GitHub
  Require that callers propagate `HasCallStack` constraints
  ☆21Dec 18, 2024Updated last year
• aaronallen8455 / auto-split

  View on GitHub
  GHC plugin for automatic case splitting
  ☆18Sep 7, 2025Updated 5 months ago
• somebody1234 / cliscord

  View on GitHub
  simple command-line tool to send text and files to discord
  ☆18Jul 19, 2023Updated 2 years ago
• aaronallen8455 / Typson

  View on GitHub
  Type safe JSON PostgreSQL queries using bidirectional serializers
  ☆21Nov 27, 2020Updated 5 years ago
• spl / ivy

  View on GitHub
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Jan 31, 2016Updated 10 years ago
• i-am-tom / oops

  View on GitHub
  Classy error-handling (and dispatching!) in Haskell.
  ☆46Aug 14, 2019Updated 6 years ago
• alexanderGugel / spin

  View on GitHub
  Elegant, emoji-based loading spinners to make your Haskell CLI applications more beautiful.
  ☆20Jun 22, 2019Updated 6 years ago