robrix / silkscreenLinks
Prettyprinting transformers for rainbow parens, precedence, etc.
☆16Updated 3 years ago
Alternatives and similar repositories for silkscreen
Users that are interested in silkscreen are comparing it to the libraries listed below
Sorting:
- Funny little Haskell impl☆18Updated 4 years ago
- Linear map categories in Agda☆5Updated 2 years ago
- Non-empty Vectors☆25Updated 3 months ago
- 🛗 Typeclass for monads that can be unlifted to arbitrary base monads☆25Updated 4 years ago
- Haskell library of row polymorphic record manipulator☆23Updated 4 years ago
- Demonstrating how to make type families faster using typechecker plugins☆21Updated 4 years ago
- Property based testing for Servant using Hedgehog☆19Updated 4 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9☆32Updated 3 years ago
- ☆15Updated 2 years ago
- Basic examples and functions for generics-sop☆19Updated last year
- Dependently typed elimination functions using singletons☆28Updated 7 months ago
- Type safe JSON PostgreSQL queries using bidirectional serializers☆21Updated 4 years ago
- A monadic interface for DAG construction.☆24Updated 4 years ago
- Servant dhall bindings☆19Updated 4 years ago
- Dynamically-typed Haskell expressions involving applications and variables.☆22Updated 6 months ago
- ☆21Updated 2 years ago
- Safe web routing in haskell☆30Updated 2 years ago
- A flexible Haskell API for querying the GitHub REST API☆14Updated last year
- Simplify and render Template Haskell☆18Updated 6 years ago
- Extensible type-safe unions for Haskell☆34Updated 4 months ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆32Updated 3 years ago
- An implementation of first-class pattern matches in Haskell.☆13Updated 4 years ago
- Automatic type class law checking.☆24Updated 6 months ago
- Tools for functors from Hask^k to Hask☆23Updated 5 years ago
- Directed Acyclic Graphs☆21Updated 6 months ago
- An extensible IO-like monad-like thing for Idris, with support for including linear subprograms☆22Updated 5 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆25Updated 7 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 6 months ago
- Haskell time library focusing on performance☆57Updated 2 weeks ago