chessai / shwifty
DEPRECATED: use https://github.com/MercuryTechnologies/moat
☆23Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for shwifty
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- haskell posix bindings☆18Updated 8 months ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Haskell98 indexed functors, monads, comonads☆25Updated 2 years ago
- Plucky Runtime IO☆15Updated 4 years ago
- Directed Acyclic Graphs☆20Updated 5 months ago
- Require that callers propagate `HasCallStack` constraints☆19Updated last year
- Extensible sums and products for Haskell☆19Updated last year
- Selective applicative functors☆15Updated 6 years ago
- The paper "GADTs meet their match" and related materials☆10Updated 5 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 5 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆9Updated last year
- Clean up the formatting of 'show' output☆22Updated 3 months ago
- Get terminal window width and height☆10Updated 3 months ago
- Raw string literals for Haskell.☆25Updated 6 years ago
- Boring and Absurd types☆17Updated 6 months ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago
- Dependent hash maps☆14Updated 5 months ago
- Ouroboros is a PureScript compiler written in PureScript.☆18Updated last month
- Call and consume GraphQL APIs with type safe queries and responses☆25Updated 6 months ago
- Minimal binary serialization library with focus on performance☆17Updated 3 years ago
- A compatibility library for `hedgehog` and `fakedata`☆15Updated 2 years ago
- The most complete prelude formed only from the "base" package☆28Updated last year
- ⚖️ Trial Data Type☆20Updated 6 months ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Updated 5 years ago
- a modern library for typed path manipulation in Haskell☆36Updated 3 years ago
- Dhall, formalised in Agda☆10Updated 5 years ago
- A fully compliant Haskell 98 lexer.☆15Updated 3 weeks ago