COLLECTED BY
Organization:
Internet Archive
Focused crawls are collections of frequently-updated webcrawl data from narrow (as opposed to broad or wide) web crawls, often focused on a single domain or subdomain.
The Wayback Machine - https://web.archive.org/web/20220912185034/https://github.com/topics/comonads
Here are
13 public repositories
matching this topic...
An axiom-free formalization of category theory in Coq for personal study and practical work
learn-by-doing course/tutorial for functional programming on scala
Updated
Feb 7, 2020
Scala
a collection of cellular automata written in Haskell with Diagrams
Updated
May 28, 2019
Haskell
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Updated
Aug 16, 2020
PureScript
freer monads and cofreer comonads.
Updated
Jun 26, 2018
Haskell
Conway's game of life in Swift using Comonads and Representable Functors.
Updated
Aug 21, 2020
Swift
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Updated
Jul 30, 2022
Kotlin
A non-empty comonadic list zipper
Updated
Mar 31, 2022
Haskell
An implementation of comonads in idris
Updated
Jul 5, 2017
Idris
Conway's game of life in Idris 2 with comonads
Updated
Nov 20, 2021
Idris
Updated
Feb 12, 2020
Scala
Some experiments with automata in Haskell
Updated
Feb 6, 2015
Haskell
A exploration of Comonads, Monoids and Trees using Elixir
Updated
Mar 31, 2017
Elixir
Improve this page
Add a description, image, and links to the
comonads
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
comonads
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.