Projects in Awesome Lists tagged with comonads
A curated list of projects in awesome lists tagged with comonads .
https://github.com/jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
cartesian cartesian-closed-category categories category category-theory comonads construction coq functor monad monoid profunctor profunctor-composition
Last synced: 15 May 2025
https://github.com/dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
applicative comonads course functional-idioms functional-programming functor monad monad-transformers monads monoid scala tutorial typeclasses
Last synced: 23 Jul 2025
https://github.com/bollu/cellularautomata
a collection of cellular automata written in Haskell with Diagrams
cellular-automata comonads diagrams game-of-life
Last synced: 19 Apr 2025
https://github.com/arthurxavierx/purescript-comonad-ui-todos
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Last synced: 07 Oct 2025
https://github.com/freckle/nonempty-zipper
A non-empty comonadic list zipper
comonads datastructures ghvm-managed haskell list
Last synced: 10 Mar 2026
https://github.com/hayabusa-cloud/cove
Coalgebraic context layer for kont suspensions in Go
Last synced: 30 May 2026
https://github.com/risto-stevcev/idris-comonad
An implementation of comonads in idris
Last synced: 28 Feb 2026
https://github.com/balletie/automata
Some experiments with automata in Haskell
automata cellular-automata comonads haskell
Last synced: 05 Apr 2025
