Alternatives and similar repositories for purescript-leibniz-proof:

Users that are interested in purescript-leibniz-proof are comparing it to the libraries listed below

• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 4 years ago
• purescript-polyform / polyform
  An attempt to build composable validation toolkit.
  ☆29Updated 2 years ago
• paulyoung / purescript-style
  ☆20Updated 3 years ago
• Unisay / purescript-aff-retry
  Retry combinators for monadic Aff actions that may fail
  ☆14Updated 8 months ago
• thomashoneyman / purescript-halogen-portal
  Portals for Halogen: Render child components anywhere in the DOM
  ☆25Updated last year
• sigma-andex / purescript-fast-vect
  Fast 🐆, type-safe vectors for Purescript
  ☆25Updated last year
• thomashoneyman / purescript-halogen-store
  Global state management for Halogen
  ☆45Updated 2 years ago
• natefaubion / purescript-dodo-printer
  An adequate printer.
  ☆30Updated 3 months ago
• sigma-andex / purescript-barlow-lens
  Increase your magnification 🔭 and zoom deep into a record.
  ☆39Updated last year
• purescript-halogen / purescript-halogen-vdom-string-renderer
  String rendering for halogen-vdom
  ☆9Updated 2 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 2 years ago
• thomashoneyman / purescript-alga
  An implementation of algebraic graphs in PureScript
  ☆19Updated 2 years ago
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆32Updated last year
• garyb / purescript-mote
  Just a little spec(k).
  ☆15Updated 2 years ago
• rowtype-yoga / purescript-untagged-union
  A Purescript data type for untagged unions
  ☆49Updated 2 years ago
• purescript-react / purescript-react-basic-emotion
  ☆17Updated 2 years ago
• garyb / purescript-codec-argonaut
  Bi-directional JSON codecs for argonaut
  ☆38Updated 2 months ago
• natefaubion / purescript-typelevel-eval
  Higher order functional programming in PureScript's type system
  ☆43Updated 3 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆25Updated 2 years ago
• parsonsmatt / encoding-via
  type classes and deriving via for encoding
  ☆21Updated 5 years ago
• purescript-contrib / purescript-argonaut-generic
  Generic encoding and decoding functions for data types with a Generic.Rep instance
  ☆22Updated 3 years ago
• hdgarrood / purescript-debugged
  ☆59Updated 4 years ago
• purescript / purescript-docs-search
  Search frontend for the documentation generated by the PureScript compiler
  ☆23Updated 8 months ago
• purescript-hyper / purescript-trout-client
  Automatically derived XHR clients for Trout routing types.
  ☆21Updated 4 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• joneshf / purescript-option
  ☆36Updated last year
• purescript-contrib / purescript-options
  Types and functions for dealing with JavaScript options objects
  ☆20Updated 3 years ago
• nwolverson / purescript-suggest
  Apply PureScript compiler suggestions to fix warnings
  ☆24Updated last year
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆40Updated last year
• thomashoneyman / purescript-slug
  Type-safe slugs for PureScript
  ☆17Updated 8 months ago