Alternatives and similar repositories for purescript-kanren:

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

• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 4 years ago
• ghcjs / ghcjs-ffiqq
  QuasiQuoter for GHCJS JavaScript FFI
  ☆20Updated 8 years ago
• bodil / purescript-typelevel
  Type level natural numbers and booleans
  ☆33Updated 5 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆18Updated 6 years ago
• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 7 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 6 years ago
• kritzcreek / okasaki
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Updated 8 years ago
• paf31 / purescript-signal-loop
  An abstraction on top of purescript-signal, for avoiding Channels
  ☆15Updated 7 years ago
• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago
• pselm / core
  A Purescript implementation of Elm's `core` library
  ☆30Updated 6 years ago
• kcsongor / purescript-record-format
  Experimental record formatting from type-level format strings
  ☆24Updated last year
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 2 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• SamuelSchlesinger / gaia
  An experiment in functional interface design
  ☆23Updated 8 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated last year
• jvanbruegge / Megarecord
  My experiment about implementing Row Polymorphism in current Haskell
  ☆16Updated 6 years ago
• ocharles / transformers-eff
  An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff
  ☆24Updated 6 years ago
• gergoerdi / icfp-bingo-2017-idris
  ICFP Bingo 2017 (Idris edition)
  ☆30Updated 5 years ago
• ababkin / dho
  Generate CircleCI config from `dhall` representations
  ☆10Updated 6 years ago
• Gabriella439 / Haskell-Total-Library
  Exhaustive pattern matching using lenses, traversals, and prisms
  ☆32Updated 2 years ago
• singpolyma / unexceptionalio
  IO without any PseudoExceptions
  ☆28Updated 4 years ago
• purescript-deprecated / purescript-strongcheck
  ☆26Updated 4 years ago
• atzeus / CTRex
  Open records for Haskell
  ☆22Updated 7 years ago