paf31 / purescript-leibniz

Related projects ⓘ

Alternatives and complementary repositories for purescript-leibniz

• purescript-deprecated / purescript-symbols
  ☆12Updated 4 years ago
• paf31 / purescript-smash
  An "extensible coeffect" system built out of comonads and Day convolution.
  ☆36Updated 4 years ago
• LiamGoodacre / purescript-type-lang
  Lambda calculus at the type level.
  ☆20Updated 7 years ago
• LiamGoodacre / purescript-type-map
  A Map data structure at the type level.
  ☆8Updated 7 years ago
• purescript-contrib / purescript-aff-coroutines
  Helper functions for creating coroutines with the Aff monad
  ☆23Updated 2 years ago
• garyb / purescript-indexed-monad
  ☆21Updated last year
• hdgarrood / purescript-benchotron
  Straightforward benchmarking for PureScript/JavaScript.
  ☆32Updated last year
• rightfold / purescript-substructural
  Substructural types in PureScript.
  ☆12Updated 7 years ago
• paf31 / purescript-event
  The Event type, extracted from purescript-behaviors
  ☆23Updated 3 years ago
• kcsongor / purescript-record-format
  Experimental record formatting from type-level format strings
  ☆24Updated last year
• purescript-deprecated / purescript-node-fs-aff
  Aff wrappers for purescript-node-fs
  ☆21Updated last year
• natefaubion / polykinds
  Experimental polykinds implementation
  ☆13Updated 5 years ago
• VerbalExpressions / purescript-verbal-expressions
  Purescript Regular expressions made easy
  ☆24Updated 6 years ago
• purescript-contrib / purescript-precise
  A huge number library for Purescript with emphasis on correctness.
  ☆12Updated 2 years ago
• ethul / purescript-freeap
  Free applicative functors for PureScript
  ☆27Updated 2 years ago
• slamdata / purescript-io
  An IO monad for PureScript.
  ☆44Updated 6 years ago
• purescript-contrib / purescript-options
  Types and functions for dealing with JavaScript options objects
  ☆20Updated 2 years ago
• klntsky / purescript-array-views
  Defer multiple 𝚜𝚕𝚒𝚌𝚎 calls on 𝙰𝚛𝚛𝚊𝚢.
  ☆13Updated 4 years ago
• felixSchl / purescript-pipes
  Purescript port of Pipes - http://hackage.haskell.org/package/pipes-4.1.9
  ☆33Updated 2 years ago
• purescript-contrib / purescript-these
  Data type isomorphic to α ∨ β ∨ (α ∧ β)
  ☆14Updated 2 years ago
• awakesecurity / purescript-precise-datetime
  ☆26Updated 2 years ago
• parsonsmatt / persistent-documentation
  DSL for attaching documentation to persistent entities
  ☆14Updated 2 months ago
• purescript-contrib / purescript-coroutines
  Computations which can suspend their execution and return control to their invoker
  ☆38Updated 2 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
• danieljharvey / purescript-refined
  Purescript refinement types with runtime checking
  ☆26Updated 2 years ago
• purescript-deprecated / purescript-generics-rep
  Generic programming using an approach inspired by GHC.Generics
  ☆41Updated 3 years ago
• purescript / purescript-st
  The ST effect, for safe local mutation
  ☆25Updated 2 years ago
• paf31 / purescript-safely
  A combinator for making any monadic control operator stack-safe
  ☆26Updated 5 years ago
• kritzcreek / okasaki
  Working through Okasaki's "Functional Datastructures" in PureScript
  ☆14Updated 8 years ago