Alternatives and similar repositories for polykinds

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

• natefaubion / purescript-optimizer
  ☆21Updated 6 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆19Updated 7 years ago
• anttih / purescript-selective
  Selective applicative functors
  ☆15Updated 6 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆22Updated 4 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆25Updated 2 years ago
• awakesecurity / purescript-precise-datetime
  ☆26Updated 3 years ago
• csicar / purescript-dotlang
  DotLang datatypes for purescript
  ☆13Updated 2 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 3 years ago
• garyb / purescript-indexed-monad
  ☆21Updated 2 years ago
• garyb / purescript-mote
  Just a little spec(k).
  ☆15Updated 3 years ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• purescript-contrib / purescript-argonaut-generic
  Generic encoding and decoding functions for data types with a Generic.Rep instance
  ☆22Updated 3 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• purescript-contrib / purescript-ace
  Purescript bindings for the Ace editor
  ☆19Updated 2 years ago
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 6 years ago
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated last year
• purescript / purescript-minibench
  A minimal benchmarking library
  ☆14Updated 2 years ago
• thomashoneyman / purescript-slug
  Type-safe slugs for PureScript
  ☆17Updated 10 months ago
• f-f / spaghetto
  ☆15Updated 2 years ago
• purescript-contrib / purescript-options
  Types and functions for dealing with JavaScript options objects
  ☆20Updated 3 years ago
• garyb / purescript-codec
  General purpose bi-directional codecs
  ☆15Updated last year
• hdgarrood / solitaire
  Basic Solitaire game in PureScript, with both web and terminal UIs
  ☆20Updated 5 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• parsonsmatt / persistent-documentation
  DSL for attaching documentation to persistent entities
  ☆14Updated 3 weeks ago
• f-o-a-m / purescript-servant
  a servant like DSL for templating requests
  ☆15Updated 4 years ago
• purescript-contrib / purescript-precise
  A huge number library for Purescript with emphasis on correctness.
  ☆12Updated 3 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 3 years ago
• purescript / purescript-st
  The ST effect, for safe local mutation
  ☆25Updated 2 years ago
• LiamGoodacre / purescript-type-map
  A Map data structure at the type level.
  ☆8Updated 7 years ago
• purescript / purescript-exists
  Existential types as a library
  ☆34Updated 2 years ago