bodil / purescript-kanren

Related projects ⓘ

Alternatives and complementary repositories for purescript-kanren

• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• purescript-deprecated / purescript-symbols
  ☆12Updated 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
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆18Updated 6 years ago
• purescript-deprecated / purescript-maps
  ☆33Updated 4 years ago
• purescript-deprecated / purescript-strongcheck
  ☆26Updated 4 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• YellPika / effin
  A Typeable-free implementation of extensible effects
  ☆26Updated 7 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆33Updated 2 years ago
• Risto-Stevcev / purescript-ffi-utils
  A utility library for the purescript foreign function interface
  ☆21Updated 6 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
• spacchetti / spacchetti
  dhall-driven package sets for psc-package. Mà, ho comprato una scatola di PureScript!
  ☆47Updated 5 years ago
• basvandijk / monad-batcher
  An applicative monad that batches commands for later more efficient execution
  ☆27Updated 6 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
• purescript-deprecated / purescript-eff
  ☆38Updated 4 years ago
• chadaustin / buffer-builder
  Haskell library for efficiently building up buffers
  ☆26Updated 2 months ago
• kritzcreek / purescript-matrices
  Simple two-dimensional matrices backed by a flat array
  ☆18Updated 4 years ago
• tfausak / lackey
  A Haskell library for generating Ruby consumers of Servant APIs.
  ☆23Updated last month
• justinwoo / purescript-home-run-ball
  A library for applying a row of rules for validation to refine a value
  ☆12Updated 6 years ago
• ekmett / promises
  lazy promises
  ☆27Updated 3 years ago
• rintcius / purescript-aui
  Algebraic UI's in Purescript
  ☆15Updated 3 years ago
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated last year
• tfausak / grotesque
  An implementation of GraphQL in Haskell.
  ☆21Updated 7 years ago
• fpco / halogen-form
  Formlets for halogen
  ☆30Updated 5 years ago
• kritzcreek / okasaki
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Updated 8 years ago
• jberryman / chan-benchmarks
  Criterion benchmarks for the different haskell concurrent channel implementations in base and stm
  ☆17Updated 10 years ago
• ghcjs / ghcjs-vdom
  bindings for virtual-dom
  ☆33Updated 7 years ago