Comonads By Example Conference talk
☆91Aug 6, 2019Updated 6 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 7 years ago
- Order theory☆25Sep 7, 2023Updated 2 years ago
- A reversible language☆22Sep 25, 2018Updated 7 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years 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 6 years ago
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 5 years ago
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- tools for writing better type errors☆73Sep 15, 2023Updated 2 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago
- Argonaut codecs for aeson generic encoding☆12Dec 24, 2022Updated 3 years ago
- A library for building bots compositionally.☆52Mar 10, 2025Updated last year
- static analysis of free monads☆24Jul 10, 2018Updated 7 years ago
- Library support for the compiler-builtin Coercible type class.☆20Apr 27, 2022Updated 3 years ago
- ☆14Dec 28, 2020Updated 5 years ago
- Higher-order FRP for PureScript☆13Dec 24, 2022Updated 3 years ago
- Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically☆211Oct 22, 2025Updated 5 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- A simple combinator library☆30Nov 5, 2018Updated 7 years ago
- A very basic glob library for PureScript.☆11Jan 26, 2025Updated last year
- Type class and functions for working with newtypes☆15Sep 3, 2022Updated 3 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- 🐚 Out of the shell solution for scripting in Haskell☆74Jan 5, 2026Updated 2 months ago
- higher-order, no-boilerplate monads☆1,076Mar 15, 2025Updated last year
- Add support for PureScript components to Gatsby☆12Mar 4, 2023Updated 3 years ago
- Functions and newtype wrappers for traversing Trees☆30Sep 13, 2024Updated last year
- Experimental, user-contributed effects and interpreters for polysemy☆72Aug 3, 2023Updated 2 years ago
- Like "Write Yourself a Scheme in 48 Hours", but in Agda☆52Apr 18, 2018Updated 7 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆26Oct 17, 2022Updated 3 years ago
- checkers for algebra driven design☆34Nov 19, 2022Updated 3 years ago
- Type-level list of kinds for PureScript.☆14Nov 17, 2021Updated 4 years ago
- Resources for "One Monad to Prove Them All"☆29Dec 31, 2018Updated 7 years ago
- Efficient Haskell Arrays featuring Parallel computation☆411Jul 8, 2025Updated 8 months ago
- DotLang datatypes for purescript☆13Mar 3, 2023Updated 3 years ago
- Generate lenses and prisms for your data types automatically.☆12Jan 8, 2022Updated 4 years ago
- A small PureScript only MVC library☆13Jan 6, 2023Updated 3 years ago
- Classes for filterable and witherable data structures☆24Apr 27, 2022Updated 3 years ago
- ☆31Mar 5, 2022Updated 4 years ago
- Functions for working with homogeneous JavaScript objects☆28Oct 27, 2022Updated 3 years ago
- Generalized bananas, lenses and barbed wire☆353Feb 14, 2026Updated last month