Comonads By Example Conference talk
☆93Aug 6, 2019Updated 7 years ago
Alternatives and similar repositories for comonads-by-example
Users that are interested in comonads-by-example are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Some info that supposed to help to understand PureScript from Haskell perspective☆32Aug 22, 2018Updated 8 years ago
- Order theory☆25Sep 7, 2023Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 4 years ago
- Type-level list of kinds for PureScript.☆15Nov 17, 2021Updated 4 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Streaming effects for PureScript☆16Nov 8, 2021Updated 4 years ago
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- A reversible language☆22Sep 25, 2018Updated 8 years ago
- tools for writing better type errors☆74Sep 15, 2023Updated 3 years ago
- A library for building bots compositionally.☆54Jul 24, 2026Updated 3 months ago
- type level sets☆67Nov 19, 2019Updated 6 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 6 years ago
- Library support for the compiler-builtin Coercible type class.☆20Oct 17, 2026Updated 2 weeks ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.☆14Jul 11, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- Haskell implementation of Glumpy☆12Jun 21, 2021Updated 5 years ago
- Category theory concepts in type classes and instances.☆23Sep 18, 2026Updated last month
- Boilerplate-eliminator when working with free monads.☆14Jun 27, 2022Updated 4 years ago
- My attempt at writing a R⁵RS-compliant Scheme with Megaparsec☆14Jun 29, 2026Updated 4 months ago
- ☆15Dec 28, 2020Updated 5 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 7 years ago
- 🖼 KSF Media frontend monorepo☆33Oct 7, 2024Updated 2 years ago
- A functional reactive programming (FRP) demo created with PureScript events and behaviors.☆34Oct 23, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 5 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Dissectible data structures for implementing iterative traversals.☆21May 6, 2022Updated 4 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Generalized bananas, lenses and barbed wire☆362Sep 28, 2026Updated last month
- ☆12Aug 8, 2016Updated 10 years ago
- Lensy interface for parsing CSV's☆43Oct 20, 2020Updated 6 years ago
- Type class and functions for working with newtypes☆16Oct 17, 2026Updated 2 weeks ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Classes for filterable and witherable data structures☆24Oct 18, 2026Updated 2 weeks ago
- Experimental, user-contributed effects and interpreters for polysemy☆73Aug 3, 2023Updated 3 years ago
- Provides a Aff interface to Node Child Process Spawn☆14Mar 18, 2024Updated 2 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated 2 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 18, 2026Updated 2 weeks ago
- ☆31Mar 5, 2022Updated 4 years ago
- Sound for all!☆14Mar 22, 2021Updated 5 years ago