paf31 / the-future-is-comonadic

Related projects ⓘ

Alternatives and complementary repositories for the-future-is-comonadic

• i-am-tom / purescript-data-algebrae
  Reified operations for several common data structures.
  ☆13Updated 6 years ago
• arthurxavierx / purescript-comonad-ui-todos
  Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
  ☆53Updated 4 years ago
• justinwoo / purescript-bismuth
  A library for generating flow type signatures for direct interop between PureScript and Flow. Similar to OhYes
  ☆19Updated 6 years ago
• justinwoo / purescript-ohyes
  A library for generating Typescript types that can be used transparently from Purescript.
  ☆68Updated 5 years ago
• kcsongor / typelevel-prelude
  Standard module for type-level programming in Haskell
  ☆31Updated 5 years ago
• isovector / suavemente
  an applicative functor that seamlessly talks to HTML inputs
  ☆73Updated 5 years ago
• purescript-deprecated / purescript-generics-rep
  Generic programming using an approach inspired by GHC.Generics
  ☆41Updated 3 years ago
• dackerman / reflex-jsx
  Use jsx-like syntax in Reflex
  ☆50Updated 6 years ago
• justinwoo / awesome-rowlist
  An attempt to catalog RowList/RowToList/row type content and memes
  ☆44Updated 5 years ago
• kritzcreek / purescript-emmet
  Quick scaffolding for Halogen's HTML DSL
  ☆36Updated 3 years ago
• paf31 / purescript-incremental-functions
  Incremental lambda calculus
  ☆81Updated 5 years ago
• paf31 / purescript-derive-lenses
  A little utility to derive lenses and prisms for data types in PureScript
  ☆41Updated 7 years ago
• natefaubion / purescript-heterogeneous
  Maps and folds for heterogeneous data types.
  ☆55Updated 2 years ago
• rnons / purescript-halogen-storybook
  A library to assemble examples or develop components separately.
  ☆37Updated 2 years ago
• nwolverson / purescript-aff-promise
  ☆43Updated last year
• natefaubion / purescript-checked-exceptions
  Extensible checked exceptions with polymorphic variants
  ☆81Updated 2 years ago
• purescript-contrib / purescript-matryoshka
  Generalized folds, unfolds, and traversals for fixed point data structures
  ☆59Updated 2 years ago
• natefaubion / purescript-variant
  Polymorphic variants for PureScript
  ☆132Updated last year
• rightfold / purescript-fetch
  More efficient data fetching using deduplication, batching, and caching.
  ☆46Updated 6 years ago
• Lysxia / first-class-families
  First-class type families
  ☆86Updated 3 months ago
• paf31 / purescript-quickserve
  Quick HTTP servers
  ☆60Updated 6 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 11 months ago
• justinwoo / purescript-home-run-ball
  A library for applying a row of rules for validation to refine a value
  ☆12Updated 6 years ago
• purescript-contrib / purescript-argonaut-codecs
  JSON serialization and deserialization with Argonaut.
  ☆48Updated 11 months ago
• rightfold / purescript-substructural
  Substructural types in PureScript.
  ☆12Updated 7 years ago
• haskell-at-work / domain-modelling-with-haskell
  ☆38Updated 6 years ago
• chris-martin / haskell-aligned
  Haskell types lined up to highlight their similarities
  ☆31Updated 4 years ago
• typeable / schematic
  type-safe JSON spec and validation tool
  ☆84Updated 3 years ago
• epost / purescript-node-postgres
  PureScript bindings for node-postgres.
  ☆32Updated last year