Experiments with comonads for modelling React UIs
☆91Jun 16, 2018Updated 7 years ago
Alternatives and similar repositories for purescript-react-explore
Users that are interested in purescript-react-explore are comparing it to the libraries listed below
Sorting:
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- React-Router implemented in PureScript as Cofree Comonad for the Array functor.☆26Mar 11, 2018Updated 7 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- A combinator for making any monadic control operator stack-safe☆26Oct 24, 2019Updated 6 years ago
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Aug 16, 2020Updated 5 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- A huge number library for Purescript with emphasis on correctness.☆12Apr 27, 2022Updated 3 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- Extra functions for working with Records☆30Nov 16, 2022Updated 3 years ago
- A UI library based on the incremental lambda calculus☆111Jul 11, 2018Updated 7 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Apr 27, 2022Updated 3 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- An extensible-effects implementation☆160May 2, 2022Updated 3 years ago
- A simple CRUD DSL example with an asynchronious interpreter written as Cofree☆32Apr 25, 2017Updated 8 years ago
- Simple two-dimensional matrices backed by a flat array☆18Feb 24, 2020Updated 6 years ago
- Type-Level Routing for PureScript☆41Jun 22, 2020Updated 5 years ago
- A simple push-pull FRP implementation☆131Nov 9, 2020Updated 5 years ago
- Presentation on using React Spectacle via Pux & PureScript☆12Oct 29, 2016Updated 9 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- A simple application state store for PureScript.☆16Mar 9, 2017Updated 8 years ago
- Incremental lambda calculus☆80Jun 5, 2019Updated 6 years ago
- Functions for working with records and polymorphic labels☆68Jan 6, 2024Updated 2 years ago
- RSS feed reader written for the second part of my bachelor thesis: A Real-World Application with a Comonadic User Interface.☆52Jul 2, 2018Updated 7 years ago
- ☆15Jun 24, 2018Updated 7 years ago
- Dissectible data structures for implementing iterative traversals.☆20May 6, 2022Updated 3 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- An IO monad for PureScript.☆44Aug 2, 2018Updated 7 years ago
- Tree shaking breeze for PureScript CoreFn AST☆157Apr 25, 2023Updated 2 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆161Jun 24, 2018Updated 7 years ago
- An extensible virtual-dom library for PureScript.☆58Jun 16, 2024Updated last year
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- A lightweight, fast and unintrusive PureScript file-watcher☆138Feb 20, 2024Updated 2 years ago
- Pure profunctor lenses☆145Sep 18, 2024Updated last year
- A little utility to derive lenses and prisms for data types in PureScript☆39Apr 11, 2017Updated 8 years ago
- Isometric rendering for PureScript☆58Feb 6, 2020Updated 6 years ago
- A native PureScript virtual DOM implementation.☆49Apr 23, 2017Updated 8 years ago
- Polymorphic variants for PureScript☆133Jun 28, 2023Updated 2 years ago