Alternatives and similar repositories for purescript-leibniz

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

• purescript-deprecated / purescript-symbols

  View on GitHub
  ☆12Oct 3, 2020Updated 5 years ago
• slamdata / purescript-io

  View on GitHub
  An IO monad for PureScript.
  ☆44Aug 2, 2018Updated 7 years ago
• paf31 / purescript-derive-lenses

  View on GitHub
  A little utility to derive lenses and prisms for data types in PureScript
  ☆39Apr 11, 2017Updated 8 years ago
• purescripters / purescript-template-strings

  View on GitHub
  ES6 style template strings for Purescript
  ☆27Dec 31, 2022Updated 3 years ago
• bodil / purescript-kanren

  View on GitHub
  Relational programming for PureScript
  ☆17Jan 5, 2017Updated 9 years ago
• purescript / purescript-free

  View on GitHub
  Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.
  ☆96Sep 5, 2023Updated 2 years ago
• purescript / purescript-exists

  View on GitHub
  Existential types as a library
  ☆35Nov 16, 2022Updated 3 years ago
• justinwoo / call-ps-from-js

  View on GitHub
  this repo demonstrates calling purescript from javascript through the output.
  ☆11Jul 23, 2017Updated 8 years ago
• justinwoo / purescript-record-extra

  View on GitHub
  Extra functions for working with Records
  ☆30Nov 16, 2022Updated 3 years ago
• purescript-contrib / purescript-these

  View on GitHub
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Apr 27, 2022Updated 3 years ago
• maddie927 / purescript-spectacle-presentation

  View on GitHub
  Presentation on using React Spectacle via Pux & PureScript
  ☆12Oct 29, 2016Updated 9 years ago
• purescript / purescript-type-equality

  View on GitHub
  Type equality constraints
  ☆16Apr 27, 2022Updated 3 years ago
• purescript-contrib / purescript-uri

  View on GitHub
  A type-safe parser, printer, and ADT for URLs and URIs.
  ☆26Apr 28, 2022Updated 3 years ago
• natefaubion / purescript-psa

  View on GitHub
  Error/Warning reporting frontend for the PureScript compiler
  ☆91Jul 13, 2024Updated last year
• paf31 / purescript-smash

  View on GitHub
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Aug 16, 2020Updated 5 years ago
• purescript-deprecated / purescript-channels

  View on GitHub
  Event-driven bidirectional channels
  ☆14Feb 17, 2016Updated 9 years ago
• natefaubion / purescript-run

  View on GitHub
  An extensible-effects implementation
  ☆159May 2, 2022Updated 3 years ago
• bodil / purescript-test-unit

  View on GitHub
  An asynchronous unit test runner for PureScript
  ☆89Sep 3, 2022Updated 3 years ago
• bodil / purescript-pux-smolder-dom

  View on GitHub
  A drop-in replacement for Pux's React based renderer which needs no foreign dependencies.
  ☆13Mar 30, 2018Updated 7 years ago
• purescript / purescript-typelevel-prelude

  View on GitHub
  Types and kinds for basic type-level programming
  ☆64Sep 28, 2024Updated last year
• paf31 / purescript-behaviors

  View on GitHub
  A simple push-pull FRP implementation
  ☆131Nov 9, 2020Updated 5 years ago
• sharkdp / purescript-sparkle

  View on GitHub
  Infer user interfaces from type signatures
  ☆77Jan 30, 2018Updated 8 years ago
• kai-qu / knotation

  View on GitHub
  Strange Loop 2015 talk: knot notation, enumeration, and drawing
  ☆31Sep 27, 2015Updated 10 years ago
• nanotech / dhall-rs

  View on GitHub
  cargo +nightly build
  ☆34Jul 7, 2019Updated 6 years ago
• bodil / purescript-smolder

  View on GitHub
  A combinator library for generating markup
  ☆90Aug 29, 2021Updated 4 years ago
• joneshf / purcel

  View on GitHub
  ☆24Sep 10, 2018Updated 7 years ago
• tomhoule / purescript-waterslide-rs

  View on GitHub
  Generate Purescript types from your Rust types. (unmaintained)
  ☆42Sep 8, 2018Updated 7 years ago
• ecliptic / purescript-recompose-todomvc

  View on GitHub
  TodoMVC <<< React <<< Recompose <<< Redux $ PureScript
  ☆28Dec 4, 2016Updated 9 years ago
• Thimoteus / purescript-transformerless

  View on GitHub
  Transformerless monads for Puresript
  ☆22Sep 26, 2018Updated 7 years ago
• purescript / package-sets

  View on GitHub
  PureScript packages for Spago and Psc-Package
  ☆193Updated this week
• hdgarrood / purescript-sequences

  View on GitHub
  Various efficient-ish sequence types for PureScript.
  ☆47Mar 17, 2024Updated last year
• purescript-deprecated / purescript-lens

  View on GitHub
  PureScript implementation of lens
  ☆78Oct 3, 2020Updated 5 years ago
• purescript / purescript-lazy

  View on GitHub
  Call-by-need values
  ☆30Jul 26, 2022Updated 3 years ago
• bodil / purescript-typelevel

  View on GitHub
  Type level natural numbers and booleans
  ☆34Sep 5, 2019Updated 6 years ago
• purescript-deprecated / purescript-generics-rep

  View on GitHub
  Generic programming using an approach inspired by GHC.Generics
  ☆41Mar 25, 2021Updated 4 years ago
• arthurxavierx / purescript-carpenter

  View on GitHub
  Simple architectures for type-safe state management in React inspired by Elm, Thermite and Halogen
  ☆34Jan 6, 2017Updated 9 years ago
• bodil / purescript-eulalie

  View on GitHub
  String parser combinators for PureScript.
  ☆59Apr 9, 2017Updated 8 years ago
• LiamGoodacre / purescript-type-lang

  View on GitHub
  Lambda calculus at the type level.
  ☆20Jul 22, 2017Updated 8 years ago
• Risto-Stevcev / purescript-ffi-utils

  View on GitHub
  A utility library for the purescript foreign function interface
  ☆21Jun 12, 2018Updated 7 years ago