robrix / silkscreen
Prettyprinting transformers for rainbow parens, precedence, etc.
☆16Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for silkscreen
- Funny little Haskell impl☆18Updated 4 years ago
- Linear map categories in Agda☆5Updated last year
- A compatibility library for `hedgehog` and `fakedata`☆15Updated 2 years ago
- ☆18Updated 3 years ago
- 🌽 Core types and functions that power the Haskell `co-log` implementation☆17Updated 5 months ago
- Dependently typed elimination functions using singletons☆28Updated 2 weeks ago
- Property based testing for Servant using Hedgehog☆19Updated 3 years ago
- Safe web routing in haskell☆30Updated last year
- 💧 Liquid Haskell integration for Cabal and Stack☆24Updated 5 years ago
- Edit is a monad for rewriting things.☆23Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆28Updated 3 years ago
- Find or build all reverse dependencies of a Haskell package using Nix☆14Updated 4 years ago
- higher-kinded data☆30Updated last year
- ☆15Updated 2 years ago
- Zippers for cofree types☆12Updated 2 years ago
- Flexible Haskell library for parsing and printing S-Expressions☆20Updated last week
- QuickCheck extension for higher-order properties☆17Updated 2 years ago
- CLI tool for Hackage☆26Updated 4 months ago
- A very simple interface for incremental computation using STM in Haskell.☆13Updated last year
- ☆10Updated 6 months ago
- open union and open product types in Haskell☆32Updated 4 years ago
- Extra type-level operations on GHC.TypeLits.Nat and a custom solver☆16Updated 2 months ago
- Non-empty Vectors☆24Updated 5 months ago
- ☆33Updated last month
- Cursor data and manipulation☆21Updated 11 months ago
- The https://ghc.dev Website Generator☆21Updated 2 weeks ago
- Dhall-configured inductive API definitions☆24Updated 4 years ago
- Category theory concepts in type classes and instances.☆19Updated 2 weeks ago
- the dynabook but for haskell☆23Updated 5 years ago
- It's Data.Graph, but it doesn't suck!☆16Updated 3 years ago