comonads

There are 12 repositories under comonads topic.

jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
Language:Coq761 20 1971
dehun/learn-fp
learn-by-doing course/tutorial for functional programming on scala
Language:Scala613 36 1123
bollu/cellularAutomata
a collection of cellular automata written in Haskell with Diagrams
Language:Haskell187 12 213
arthurxavierx/purescript-comonad-ui-todos
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Language:PureScript53 3 14
robrix/freer-cofreer
freer monads and cofreer comonads.
Language:Haskell21 6 51
freckle/nonempty-zipper
A non-empty comonadic list zipper
Language:Haskell6 22 01
thomasmarsh/swift-conway-comonad
Conway's game of life in Swift using Comonads and Representable Functors.
Language:Swift6 1 01
Sintrastes/Iodine
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Language:Kotlin3 2 60
Risto-Stevcev/idris-comonad
An implementation of comonads in idris
Language:Idris2 3 01
ColOfAbRiX/monad-study
Studying monads in Scala
Language:Scala1 1 0
Balletie/Automata
Some experiments with automata in Haskell
Language:Haskell0 3 00
ktec/comonads-monoids-trees
A exploration of Comonads, Monoids and Trees using Elixir
Language:Elixir1 0