Alternatives and similar repositories for purescript-kanren

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

• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 4 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 7 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆19Updated 7 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• purescript-deprecated / purescript-strongcheck
  ☆26Updated 4 years ago
• paf31 / purescript-foreign-lens
  A lens-compatible set of getters for purescript-foreign
  ☆10Updated 8 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• bodil / purescript-typelevel
  Type level natural numbers and booleans
  ☆34Updated 5 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• sectore / program-imperatively-using-purescript
  Program imperatively using PureScript, State monad and lenses
  ☆25Updated 6 years ago
• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 8 years ago
• purescript-deprecated / purescript-eff
  ☆38Updated 4 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 3 years ago
• purescript-deprecated / purescript-generics-rep
  Generic programming using an approach inspired by GHC.Generics
  ☆41Updated 4 years ago
• agrafix / purescript-apparch
  PureScript application layout pattern, derived from the Elm Architecture
  ☆18Updated 9 years ago
• kritzcreek / okasaki
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Updated 8 years ago
• purescript / purescript-tuples
  Tuple data type and utility functions
  ☆26Updated 2 years ago
• eskimor / purescript-localstorage
  Access JS webstorage (local & session) in a typesafe and convenient way
  ☆29Updated 7 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆23Updated 4 years ago
• mbg / hindley-milner
  Template for Hindley-Milner based languages
  ☆39Updated 3 years ago
• paulyoung / purescript-prettier-printer
  An implementation of "A prettier printer" (Wadler 2003) in PureScript.
  ☆29Updated 4 years ago
• ekmett / auth
  ☆40Updated 7 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 8 years ago
• agrafix / users
  A library simplifying user management for Haskell web applications
  ☆51Updated 2 years ago
• purescript / purescript-functions
  Function combinators and types for multi-argument functions
  ☆18Updated 3 years ago
• tranma / empirical-big-oh
  Measure time complexity empirically.
  ☆48Updated 9 years ago
• Thimoteus / purescript-optlicative
  applicative opt parsing for node
  ☆31Updated 4 years ago
• paf31 / purescript-derive-lenses
  A little utility to derive lenses and prisms for data types in PureScript
  ☆40Updated 8 years ago
• puffnfresh / bam-idris-blog
  Static blog generator in Idris.
  ☆40Updated 10 years ago