paf31 / the-future-is-comonadicLinks
My (rejected) OBT-2018 submission
☆33Updated 4 years ago
Alternatives and similar repositories for the-future-is-comonadic
Users that are interested in the-future-is-comonadic are comparing it to the libraries listed below
Sorting:
- Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces☆53Updated 5 years ago
- Incremental lambda calculus☆81Updated 6 years ago
- An implementation of "A prettier printer" (Wadler 2003) in PureScript.☆29Updated 4 years ago
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆95Updated 2 years ago
- An attempt to catalog RowList/RowToList/row type content and memes☆43Updated 6 years ago
- Quick HTTP servers☆60Updated 7 years ago
- A library to assemble examples or develop components separately.☆39Updated 3 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 6 years ago
- Generic programming using an approach inspired by GHC.Generics☆41Updated 4 years ago
- A binding to puppeteer to drive headless Chrome.☆51Updated 3 years ago
- Extensible checked exceptions with polymorphic variants☆82Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Updated 3 years ago
- Supporting code for the book /Lenses for the Mere Mortal: PureScript Edition/☆33Updated 2 years ago
- Polymorphic variants for PureScript☆133Updated 2 years ago
- Extra functions for working with Records☆30Updated 2 years ago
- Trying to get back all the stuff I had in JavaScript.☆69Updated 7 years ago
- Maps and folds for heterogeneous data types.☆61Updated 3 months ago
- Types and kinds for basic type-level programming☆64Updated last year
- Safe printf-like formatting in purescript☆37Updated 5 years ago
- Quick scaffolding for Halogen's HTML DSL☆35Updated 4 years ago
- A simple push-pull FRP implementation☆131Updated 4 years ago
- A type-safe abstraction for platform-independent file system paths.☆32Updated 3 years ago
- ☆43Updated 2 years ago
- Experiments with comonads for modelling React UIs☆91Updated 7 years ago
- String parser combinators for PureScript.☆59Updated 8 years ago
- Functions for working with records and polymorphic labels☆68Updated last year
- Haskell implementation of C4 model, for specifying software architecture☆18Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆40Updated 8 years ago
- PureScript implementation of lens☆78Updated 5 years ago
- Set up a specific PureScript toolchain in your GitHub Actions workflow☆46Updated last week