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

a collection of cellular automata written in Haskell with Diagrams

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

freer monads and cofreer comonads.

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

A non-empty comonadic list zipper

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

An implementation of comonads in idris

Studying monads in Scala

Some experiments with automata in Haskell

A exploration of Comonads, Monoids and Trees using Elixir