bodil / purescript-kanren

Related projects ⓘ

Alternatives and complementary repositories for purescript-kanren

• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 7 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 3 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• danidiaz / streamy
  Using Backpack to abstract over the main Haskell streaming libraries.
  ☆34Updated 7 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• ocharles / hsfmt
  A Haskell code formatter using prettyprinter and the GHC API
  ☆24Updated 6 years ago
• kritzcreek / okasaki
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Updated 8 years ago
• Risto-Stevcev / purescript-ffi-utils
  A utility library for the purescript foreign function interface
  ☆21Updated 6 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆33Updated 2 years ago
• basvandijk / monad-batcher
  An applicative monad that batches commands for later more efficient execution
  ☆27Updated 6 years ago
• isovector / do-notation
  deprecated in favor of -XQualifiedDo
  ☆41Updated 3 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆18Updated 6 years ago
• singpolyma / unexceptionalio
  IO without any PseudoExceptions
  ☆28Updated 4 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 7 years ago
• joneshf / purcel
  ☆24Updated 6 years ago
• justinwoo / purescript-home-run-ball
  A library for applying a row of rules for validation to refine a value
  ☆12Updated 6 years ago
• rightfold / gammascript
  Pure, total functions!
  ☆14Updated 8 years ago
• christian-marie / roundtrip-aeson
  Parse/unparse JSON with roundtrip invertible syntax descriptions.
  ☆17Updated 5 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• garyb / purescript-indexed-monad
  ☆21Updated last year
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 6 years ago
• cgaebel / stm-conduit
  STM-based channels for conduits.
  ☆41Updated last year
• ChrisPenner / lens-filesystem
  Lens interface for your filesystem
  ☆22Updated 3 years ago
• soupi / purescript-slides
  A tiny EDSL for making slides in PureScript
  ☆26Updated 7 years ago