Alternatives and similar repositories for purescript-kanren

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

• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 7 years ago
• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 7 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 4 years ago
• purescript-deprecated / purescript-channels
  Event-driven bidirectional channels
  ☆14Updated 9 years ago
• purescript-deprecated / purescript-strongcheck
  ☆26Updated 4 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 6 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 3 years ago
• bodil / purescript-typelevel
  Type level natural numbers and booleans
  ☆34Updated 5 years ago
• paf31 / purescript-foreign-lens
  A lens-compatible set of getters for purescript-foreign
  ☆10Updated 8 years ago
• kowainik / idris-patricia
  🌋 Idris implementation of patricia tree
  ☆22Updated 4 years ago
• LiamGoodacre / purescript-type-map
  A Map data structure at the type level.
  ☆8Updated 7 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• singpolyma / unexceptionalio
  IO without any PseudoExceptions
  ☆28Updated 5 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆19Updated 6 years ago
• benclifford / acme-smuggler
  Smuggle arbitrary values in ()
  ☆12Updated 2 years ago
• haskell-github-trust / ekg-statsd
  Flush system metrics to statsd
  ☆26Updated last month
• paf31 / purescript-signal-loop
  An abstraction on top of purescript-signal, for avoiding Channels
  ☆15Updated 8 years ago
• chpatrick / codec
  Easy bidirectional serialization in Haskell
  ☆50Updated 6 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 3 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 3 years ago
• parsonsmatt / rowdy
  A convenient DSL for describing web routes
  ☆42Updated 4 years ago
• iand675 / ghcjs-react
  React.js for GHCJS
  ☆27Updated 8 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 11 years ago