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
Related projects ⓘ
Alternatives and complementary repositories for purescript-comonad-ui-todos
- An introduction to common PureScript operators through the only truly universal language.☆49Updated 6 years ago
- Extensible checked exceptions with polymorphic variants☆81Updated 2 years ago
- Maps and folds for heterogeneous data types.☆55Updated 2 years ago
- Polymorphic variants for PureScript☆132Updated last year
- A binding to puppeteer to drive headless Chrome.☆53Updated 2 years ago
- An opinionated component library for Halogen apps☆101Updated 10 months ago
- A PureScript interpreter in Haskell☆119Updated 2 years ago
- ☆59Updated 3 years ago
- Sample halogen app that uses a few DSLs within the application's free monad☆62Updated 6 years ago
- Unified parsing and printing for routes in PureScript☆91Updated last year
- A simple Purescript JSON library that uses types automatically☆134Updated last year
- An attempt to catalog RowList/RowToList/row type content and memes☆44Updated 5 years ago
- A Purescript data type for untagged unions☆49Updated last year
- Kotlin-backend for PureScript☆81Updated 3 years ago
- A little utility to derive lenses and prisms for data types in PureScript☆41Updated 7 years ago
- Create PureScript datatypes from Haskell datatypes☆110Updated 4 months ago
- ☆59Updated 3 years ago
- ☆43Updated last year
- An extensible-effects implementation☆160Updated 2 years ago
- My (rejected) OBT-2018 submission☆35Updated 4 years ago
- Incremental lambda calculus☆81Updated 5 years ago
- A library for generating Typescript types that can be used transparently from Purescript.☆68Updated 5 years ago
- A type-safe, high-level SQL library for PureScript☆90Updated last year
- Free monads, Cofree comonads, Yoneda and Coyoneda functors, and the Trampoline monad.☆93Updated last year
- PureScript bindings for node-postgres.☆32Updated last year
- A library to assemble examples or develop components separately.☆37Updated 2 years ago
- This is a repository for a docs site on how to figure things out in PureScript as recommended by me.☆49Updated last year
- CSS in PureScript☆38Updated last year
- A clean, type-safe routing library for PureScript.☆105Updated 2 years ago
- Higher order functional programming in PureScript's type system☆43Updated 3 years ago