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 2 months ago
• felixmulder / hedgehog-servant
  Property based testing for Servant using Hedgehog
  ☆19Updated 3 years ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• paf31 / purescript-folds
  Applicative Folds, in the style of Gabriel Gonzalez' foldl library
  ☆14Updated 6 years ago
• isovector / dynahaskell
  the dynabook but for haskell
  ☆23Updated 5 years ago
• 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
• co-log / co-log-core
  🌽 Core types and functions that power the Haskell `co-log` implementation
  ☆17Updated last month
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated this week
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 2 years ago
• jship / context
  Thread-indexed storage around arbitrary context values
  ☆11Updated last year
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• anttih / purescript-selective
  Selective applicative functors
  ☆15Updated 6 years ago
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 3 months ago
• clash-lang / ghc-typelits-extra
  Extra type-level operations on GHC.TypeLits.Nat and a custom solver
  ☆17Updated last month
• haskell-streaming / streaming-bytestring
  effectful sequences of bytes; an alternative no-lazy-io implementation of Data.ByteString.Lazy
  ☆18Updated 2 months ago
• archambaultv / sexpresso
  Flexible Haskell library for parsing and printing S-Expressions
  ☆20Updated 5 months ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆23Updated 4 years ago
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• i-am-tom / dagless
  A monadic interface for DAG construction.
  ☆24Updated 3 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• deepfire / nh
  Manage Nix Haskell override sets
  ☆11Updated 6 years ago
• twanvl / ttie
  Type Theory with Indexed Equality
  ☆25Updated 8 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 5 months ago
• effectfully / STLC
  Dependently typed Algorithm M and friends
  ☆25Updated 6 years ago
• ExtremaIS / literatex-haskell
  transform literate source code to Markdown
  ☆13Updated 3 months ago
• gallais / agdarky
  Agda suffices: software written from A to Z in Agda
  ☆15Updated 6 years ago
• kowainik / unlift
  🛗 Typeclass for monads that can be unlifted to arbitrary base monads
  ☆25Updated 4 years ago
• f-f / spaghetto
  ☆15Updated 2 years ago