Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
☆54Aug 16, 2020Updated 5 years ago
Alternatives and similar repositories for purescript-comonad-ui-todos
Users that are interested in purescript-comonad-ui-todos are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Experiments with comonads for modelling React UIs☆91Jun 16, 2018Updated 7 years ago
- ☆11May 3, 2022Updated 3 years ago
- A UI library based on the incremental lambda calculus☆112Jul 11, 2018Updated 7 years ago
- My (rejected) OBT-2018 submission☆33Oct 27, 2020Updated 5 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reversible printing/parsing☆18Mar 1, 2023Updated 3 years ago
- Purescript simple scene model and geometric operations.☆17Jan 30, 2019Updated 7 years ago
- Increase your magnification 🔭 and zoom deep into a record.☆40Mar 14, 2024Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Kotlin-backend for PureScript☆80Aug 27, 2021Updated 4 years ago
- Extensible checked exceptions with polymorphic variants☆82Mar 7, 2022Updated 4 years ago
- Straightforward benchmarking for PureScript/JavaScript.☆31Sep 23, 2023Updated 2 years ago
- Many-to-many broadcasting☆16Apr 27, 2022Updated 3 years ago
- Unified parsing and printing for routes in PureScript☆94Jun 15, 2023Updated 2 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- A binding to puppeteer to drive headless Chrome.☆50May 16, 2022Updated 3 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- 🖼 KSF Media frontend monorepo☆33Oct 7, 2024Updated last year
- Type-safe open unions in Haskell☆32Apr 20, 2018Updated 7 years ago
- A Cycle.js-like utility for working with Purescript-Event☆29Dec 13, 2021Updated 4 years ago
- PureScript CST Parser written in PureScript☆52May 26, 2025Updated 10 months ago
- my blog posts, about purescript, nix, rust, haskell, etc.☆63May 30, 2025Updated 9 months ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- What would TEA look like if we had no VDOM?☆70Jan 21, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- DOM operation utilities for React☆28Mar 30, 2019Updated 6 years ago
- DSL for attaching documentation to persistent entities☆14May 30, 2025Updated 9 months ago
- Type Level Regular Expressions☆12Sep 26, 2023Updated 2 years ago
- Maps and folds for heterogeneous data types.☆62Jun 21, 2025Updated 9 months ago
- Higher-order components of react lifecycle. ✨☆13Jan 15, 2018Updated 8 years ago
- General purpose bi-directional codecs☆15Oct 20, 2023Updated 2 years ago
- An experiment in replacing the virtual DOM and avoiding diffing☆162Jun 24, 2018Updated 7 years ago
- ☆21Feb 27, 2023Updated 3 years ago
- Generalized folds, unfolds, and traversals for fixed point data structures☆58Apr 27, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Bi-directional JSON codecs for argonaut☆37Oct 13, 2025Updated 5 months ago
- ☆20Apr 17, 2023Updated 2 years ago
- An example of how PureScript outputs are just CommonJS modules that you can use in any way you want.☆19Dec 7, 2018Updated 7 years ago
- ☆12Sep 22, 2020Updated 5 years ago
- C++ foreign export implementations for the standard library☆22Jun 10, 2019Updated 6 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- Clowns to the left of me, jokers to the right☆15Sep 3, 2019Updated 6 years ago