Alternatives and similar repositories for silkscreen

Users that are interested in silkscreen are comparing it to the libraries listed below

• TheMatten / hask
  Funny little Haskell impl
  ☆18Updated 4 years ago
• parsonsmatt / hedgehog-fakedata
  A compatibility library for `hedgehog` and `fakedata`
  ☆16Updated this week
• felixmulder / hedgehog-servant
  Property based testing for Servant using Hedgehog
  ☆19Updated 4 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 5 months ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 4 years ago
• well-typed / basic-sop
  Basic examples and functions for generics-sop
  ☆20Updated last year
• qfpl / ban-instance
  Declare that a typeclass instance should not exist.
  ☆11Updated last year
• liamoc / agda-snippets
  Library and tool to render the snippets in literate Agda files to hyperlinked HTML, leaving the rest of the text untouched.
  ☆11Updated 7 years ago
• jship / context
  Thread-indexed storage around arbitrary context values
  ☆11Updated last year
• int-index / union
  Extensible type-safe unions for Haskell
  ☆34Updated 2 months ago
• ku-fpg / natural-transformation
  A natural transformation package
  ☆16Updated 3 months ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated last month
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆18Updated 3 months ago
• sweirich / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆29Updated 3 years ago
• maoe / lifted-async
  Run lifted IO operations asynchronously and wait for their results
  ☆29Updated 7 months ago
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆18Updated 3 months ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 7 months ago
• typesanitizer / edit
  Edit is a monad for rewriting things.
  ☆23Updated 4 years ago
• dreixel / generic-deriving
  ☆44Updated 3 months ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated 2 years ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 4 years ago
• robrix / semilattices
  join and meet semilattices, lower and upper bounds.
  ☆43Updated 8 months ago
• dalaing / type-systems
  ☆23Updated 7 years ago
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years ago
• twanvl / simple-reflect
  Simple reflection of expressions
  ☆33Updated 3 years ago
• ekmett / haskell
  An unimaginatively named monorepo for misc. side-projects that are annoying to maintain separately.
  ☆14Updated 4 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago