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
- π Typeclass for monads that can be unlifted to arbitrary base monadsβ25Updated 4 years ago
- A flexible Haskell API for querying the GitHub REST APIβ14Updated last year
- Agda suffices: software written from A to Z in Agdaβ16Updated 6 years ago
- Proofs of the number of inhabitants of polymorphic functionsβ23Updated 7 years ago
- Demonstrating how to make type families faster using typechecker pluginsβ21Updated 4 years ago
- π§ Liquid Haskell integration for Cabal and Stackβ25Updated 6 years ago
- Non-empty Vectorsβ26Updated 5 months ago
- Haskell time library focusing on performanceβ58Updated last month
- π½ Core types and functions that power the Haskell `co-log` implementationβ18Updated last month
- Property based testing for Servant using Hedgehogβ19Updated 4 years ago
- Zippers for cofree typesβ13Updated 3 years ago
- Haskell library of row polymorphic record manipulatorβ23Updated 4 years ago
- β21Updated 2 years ago
- open union and open product types in Haskellβ32Updated 5 years ago
- Type safe JSON PostgreSQL queries using bidirectional serializersβ21Updated 4 years ago
- π Idris implementation of patricia treeβ23Updated 4 years ago
- Simplify and render Template Haskellβ18Updated 7 years 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
- Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9β32Updated 3 years ago
- HLint as a GHC source plugin.β31Updated last year
- An extensible IO-like monad-like thing for Idris, with support for including linear subprogramsβ22Updated 5 years ago
- Servant dhall bindingsβ19Updated 4 years ago
- Dependently typed elimination functions using singletonsβ28Updated 9 months ago
- Efficient parser combinators for Haskellβ39Updated last month
- Reasonable Haskell default importβ27Updated 3 years ago
- Ghosts of Departed Proofsβ61Updated 4 years ago
- High level, generic library for interrogative user interfaces in Haskellβ41Updated 4 years ago
- Basic examples and functions for generics-sopβ19Updated last year
- An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.β14Updated 4 years ago