rightfold / purescript-substructural

Related projects ⓘ

Alternatives and complementary repositories for purescript-substructural

• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 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
• anttih / purescript-selective
  Selective applicative functors
  ☆15Updated 6 years ago
• garyb / purescript-indexed-monad
  ☆21Updated last year
• i-am-tom / purescript-data-algebrae
  Reified operations for several common data structures.
  ☆13Updated 6 years ago
• LiamGoodacre / purescript-type-map
  A Map data structure at the type level.
  ☆8Updated 7 years ago
• haskell-servant / servant-dhall
  Servant dhall bindings
  ☆19Updated 3 years ago
• paf31 / purescript-leibniz
  Leibniz Equality
  ☆18Updated 6 years ago
• thomashoneyman / purescript-alga
  An implementation of algebraic graphs in PureScript
  ☆18Updated last year
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• purescript-hyper / purescript-hyperdrive
  A simpler request/response abstraction on top of Hyper
  ☆13Updated 6 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• awakesecurity / purescript-precise-datetime
  ☆26Updated 2 years ago
• natefaubion / polykinds
  Experimental polykinds implementation
  ☆13Updated 5 years ago
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆23Updated 3 years ago
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆32Updated last year
• kritzcreek / purescript-matrices
  Simple two-dimensional matrices backed by a flat array
  ☆18Updated 4 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 4 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 5 years ago
• mwotton / roboservant
  generate contextually sensible fuzz tests for servant apps
  ☆26Updated 2 weeks ago
• purescript-contrib / purescript-aff-coroutines
  Helper functions for creating coroutines with the Aff monad
  ☆23Updated 2 years ago
• kritzcreek / purescript-emmet
  Quick scaffolding for Halogen's HTML DSL
  ☆36Updated 3 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆33Updated 2 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• purescript-deprecated / purescript-generics-rep
  Generic programming using an approach inspired by GHC.Generics
  ☆41Updated 3 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 2 years ago