TotallyNotChase / validaLinks
Simple, elegant, profunctorial, applicative validation for product types!
☆19Updated 3 years ago
Alternatives and similar repositories for valida
Users that are interested in valida are comparing it to the libraries listed below
Sorting:
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Get your IO right on the first try☆54Updated this week
- ⚖️ Trial Data Type☆21Updated last month
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Create temporary postgres instances☆56Updated 11 months ago
- 🔖 Better Haskell documentation.☆17Updated 4 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- ☆40Updated 5 years ago
- semirings and *-semirings of types in base/haskell-platform☆42Updated last year
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- ✂️ Hakyll shortcut-links in markdown files☆11Updated 3 years ago
- ☆41Updated last year
- A JSON schema language☆27Updated 3 months ago
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- Library for invertible parsing and printing☆32Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Quickcheck Properties for common typeclasses☆35Updated 3 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- 🧠 Type-safe memory units☆61Updated 4 years ago
- Haskell parser and printer for the TOML 1.0.0 file format☆26Updated 3 months ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated last month
- open union and open product types in Haskell☆32Updated 5 years ago
- Dual Traversable☆42Updated 2 years ago
- Types for ldtk☆15Updated last year
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- Haskell knowledgebase, Zettelkasten style (~2 months experiment, which resulted in migration to srid.ca)☆17Updated 5 years ago