LiamGoodacre / purescript-type-lang

Related projects: ⓘ

• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• rightfold / purescript-substructural
  Substructural types in PureScript.
  ☆12Updated 7 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆18Updated 6 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆23Updated 3 years ago
• purescript-contrib / purescript-ace
  Purescript bindings for the Ace editor
  ☆19Updated last year
• garyb / purescript-indexed-monad
  ☆21Updated last year
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• kritzcreek / purescript-matrices
  Simple two-dimensional matrices backed by a flat array
  ☆18Updated 4 years ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 3 years ago
• purescript-contrib / purescript-fixed-points
  Types for the least and greatest fixed points of functors.
  ☆15Updated 2 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆32Updated 2 years ago
• Thimoteus / purescript-optlicative
  applicative opt parsing for node
  ☆31Updated 3 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 4 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• thomashoneyman / purescript-alga
  An implementation of algebraic graphs in PureScript
  ☆18Updated last year
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated last year
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 2 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 4 years ago
• epost / purescript-free-turtle
  A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.
  ☆16Updated 3 years ago
• parsonsmatt / encoding-via
  type classes and deriving via for encoding
  ☆22Updated 4 years ago
• purescript-contrib / purescript-precise
  A huge number library for Purescript with emphasis on correctness.
  ☆12Updated 2 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• awakesecurity / purescript-precise-datetime
  ☆26Updated 2 years ago
• purescript-contrib / purescript-quickcheck-laws
  QuickCheck powered law tests for PureScript's core typeclasses.
  ☆25Updated last year
• kcsongor / purescript-safe-printf
  Safe printf-like formatting in purescript
  ☆36Updated 4 years ago
• eskimor / servant-subscriber
  When REST is not enough ...
  ☆24Updated 4 years ago
• gelisam / laughable
  Clowns to the left of me, jokers to the right
  ☆13Updated 5 years ago
• anttih / purescript-selective
  Selective applicative functors
  ☆15Updated 6 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 5 years ago
• f-o-a-m / purescript-servant
  a servant like DSL for templating requests
  ☆15Updated 3 years ago