comonads 开源项目推荐（15 个）

jwiegley /category-theory

An axiom-free formalization of category theory in Coq for personal study and practical work

dehun /learn-fp

learn-by-doing course/tutorial for functional programming on scala

bollu /cellularAutomata

a collection of cellular automata written in Haskell with Diagrams

arthurxavierx /purescript-comonad-ui-todos

Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces

robrix /freer-cofreer

freer monads and cofreer comonads.

freckle /nonempty-zipper

A non-empty comonadic list zipper

thomasmarsh /swift-conway-comonad

Conway's game of life in Swift using Comonads and Representable Functors.

Sintrastes /Iodine

Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.

Risto-Stevcev /idris-comonad

An implementation of comonads in idris

hayabusa-cloud /cove

Coalgebraic context layer for kont suspensions in Go

manutej /categorical-meta-prompting-plugin

Production-ready Claude Code plugin for category theory-based meta-prompting (v2.4.0) with 6 categorical structures, 4 composition operators, error handling, and quality visualization

ColOfAbRiX /monad-study

Studying monads in Scala

Balletie /Automata

Some experiments with automata in Haskell

jmanuel1 /idris2-comonad-ui-todos

Simple task management application, based on Arthur Xavier's bachelor thesis, based on Phil Freeman's Comonads as spaces

ktec /comonads-monoids-trees

A exploration of Comonads, Monoids and Trees using Elixir