TotallyNotChase / validaLinks
Simple, elegant, profunctorial, applicative validation for product types!
☆19Updated 4 years ago
Alternatives and similar repositories for valida
Users that are interested in valida are comparing it to the libraries listed below
Sorting:
- Library for invertible parsing and printing☆32Updated 3 weeks ago
- A JSON schema language☆28Updated 5 months ago
- A quasiquoter for neat and simple multiline text interpolation☆58Updated last year
- Haskell parser and printer for the TOML 1.0.0 file format☆27Updated last week
- Get your IO right on the first try☆54Updated 3 weeks ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- Quickcheck Properties for common typeclasses☆35Updated 5 months ago
- Lua backend for Idris 2☆28Updated 3 years ago
- A fully-customisable web-based gamepad, designed to be used from smartphones.☆42Updated 3 weeks ago
- ⚖️ Trial Data Type☆21Updated 3 months ago
- Haskell time library focusing on performance☆56Updated last month
- ☆41Updated last year
- Chapelure is a diagnostic library for Haskell☆45Updated 2 years ago
- Create temporary postgres instances☆55Updated last year
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Wrap up Haskell tools☆15Updated 4 years ago
- Fast higher-order effect handlers with evidence passing☆21Updated last year
- 🎭 Actor library for Haskell☆30Updated 2 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- Command line interface library in Idris☆31Updated last year
- Core modules for a blazing fast markup combinator library☆22Updated 3 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆28Updated 2 years ago
- semirings and *-semirings of types in base/haskell-platform☆43Updated last year
- open union and open product types in Haskell☆32Updated 5 years ago
- Named parameters (keyword arguments) for Haskell☆97Updated 6 months ago
- Benchmarks using the non-moving incremental GHC garbage collector☆22Updated 5 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 4 years ago
- Source code for haskle.net☆30Updated 2 years ago