Alternatives and similar repositories for purescript-leibniz-proof

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

• paulyoung / purescript-style
  ☆19Updated 3 years ago
• Unisay / purescript-aff-retry
  Retry combinators for monadic Aff actions that may fail
  ☆14Updated 11 months ago
• purescript-polyform / polyform
  An attempt to build composable validation toolkit.
  ☆29Updated 2 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 5 years ago
• purescript-contrib / purescript-uri
  A type-safe parser, printer, and ADT for URLs and URIs.
  ☆26Updated 3 years ago
• purescript-react / purescript-react-basic-emotion
  ☆17Updated 2 years ago
• natefaubion / purescript-dodo-printer
  An adequate printer.
  ☆30Updated 5 months ago
• thomashoneyman / purescript-halogen-portal
  Portals for Halogen: Render child components anywhere in the DOM
  ☆25Updated last year
• citizennet / purescript-halogen-select
  Building blocks for common selection user interfaces in PureScript & Halogen
  ☆64Updated 4 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• citizennet / purescript-fuzzy
  A type-safe fuzzy string matcher
  ☆24Updated 2 years ago
• justinwoo / purescript-toppokki
  A binding to puppeteer to drive headless Chrome.
  ☆51Updated 3 years ago
• hdgarrood / purescript-debugged
  ☆58Updated 4 years ago
• natefaubion / purescript-typelevel-eval
  Higher order functional programming in PureScript's type system
  ☆43Updated 3 years ago
• Woody88 / purescript-swerve
  Swerve is a library that offers a type-level DSL for describing server and client web applications. Inspired by Haskell's Servant library…
  ☆21Updated 4 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
  ☆22Updated 5 years ago
• purescript-contrib / purescript-pathy
  A type-safe abstraction for platform-independent file system paths.
  ☆32Updated 3 years ago
• thomashoneyman / purescript-halogen-store
  Global state management for Halogen
  ☆44Updated 2 years ago
• garyb / purescript-codec-argonaut
  Bi-directional JSON codecs for argonaut
  ☆37Updated 5 months ago
• cdepillabout / purescript-email-validate
  Validating an email address string against RFC 5322
  ☆17Updated 2 years ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 4 years ago
• purescript / purescript-docs-search
  Search frontend for the documentation generated by the PureScript compiler
  ☆23Updated 11 months ago
• milesfrain / purescript-faq
  An unofficial FAQ for the PureScript language
  ☆32Updated 4 years ago
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆31Updated last year
• thomashoneyman / purescript-alga
  An implementation of algebraic graphs in PureScript
  ☆19Updated 2 years ago
• rowtype-yoga / purescript-untagged-union
  A Purescript data type for untagged unions
  ☆48Updated 2 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 3 years ago
• purescript / purescript-filterable
  Classes for filterable and witherable data structures
  ☆24Updated 3 years ago
• joneshf / purescript-option
  ☆36Updated this week