Alternatives and similar repositories for purescript-leibniz-proof

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

• sigma-andex / purescript-barlow-lens
  Increase your magnification 🔭 and zoom deep into a record.
  ☆39Updated last year
• sigma-andex / purescript-fast-vect
  Fast 🐆, type-safe vectors for Purescript
  ☆25Updated last year
• Unisay / purescript-aff-retry
  Retry combinators for monadic Aff actions that may fail
  ☆14Updated last year
• paulyoung / purescript-style
  ☆19Updated 3 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 5 years ago
• purescript-react-basic-mui / purescript-react-basic-mui
  ☆14Updated 3 years ago
• joneshf / purescript-option
  ☆36Updated last month
• purescript-contrib / purescript-uri
  A type-safe parser, printer, and ADT for URLs and URIs.
  ☆26Updated 3 years ago
• citizennet / purescript-halogen-select
  Building blocks for common selection user interfaces in PureScript & Halogen
  ☆64Updated 4 years ago
• rowtype-yoga / purescript-untagged-union
  A Purescript data type for untagged unions
  ☆48Updated 2 years ago
• thomashoneyman / purescript-halogen-portal
  Portals for Halogen: Render child components anywhere in the DOM
  ☆25Updated last year
• garyb / purescript-codec-argonaut
  Bi-directional JSON codecs for argonaut
  ☆37Updated 7 months ago
• rowtype-yoga / purescript-protobuf
  Google Protocol Buffers for PureScript
  ☆55Updated 5 months ago
• timdeputter / purescript-apexcharts
  Purescript bindings for apexcharts.js (https://apexcharts.com)
  ☆18Updated last year
• hdgarrood / purescript-debugged
  ☆58Updated 4 years ago
• purescript-react / purescript-react-basic-emotion
  ☆17Updated 2 years ago
• natefaubion / purescript-dodo-printer
  An adequate printer.
  ☆31Updated 7 months ago
• dariooddenino / purescript-simple-ajax
  An opionated library to work with AJAX and JSON
  ☆17Updated 2 years ago
• milesfrain / purescript-faq
  An unofficial FAQ for the PureScript language
  ☆32Updated 4 years ago
• justinwoo / purescript-toppokki
  A binding to puppeteer to drive headless Chrome.
  ☆51Updated 3 years ago
• purescript-contrib / purescript-pathy
  A type-safe abstraction for platform-independent file system paths.
  ☆32Updated 3 years ago
• m-bock / purescript-fmt
  Format strings, safely.
  ☆20Updated last year
• cdepillabout / purescript-email-validate
  Validating an email address string against RFC 5322
  ☆17Updated 2 years ago
• eviefp / purescript-halogen-example
  Sample halogen app that uses a few DSLs within the application's free monad
  ☆61Updated 7 years ago
• masaeedu / monoidal
  ☆10Updated 4 years ago
• purescript-contrib / purescript-options
  Types and functions for dealing with JavaScript options objects
  ☆20Updated 3 years ago
• Petrosz007 / haskell-profile-highlight
  Color highlighting for Haskell profiling information
  ☆40Updated 3 years ago
• purescript / survey
  Home for the State of PureScript annual survey
  ☆30Updated 2 years ago
• purescript-domain / purescript-domain
  The PureScript Domain offers free vanity URLs for PureScript libraries and community resources.
  ☆13Updated last year
• Woody88 / purescript-wai
  Purescript Web Application Interface. Port of the Haskell WAI library.
  ☆20Updated 4 years ago