An axiom-free formalization of category theory in Coq for personal study and practical work
-
Updated
Apr 15, 2024 - Coq
An axiom-free formalization of category theory in Coq for personal study and practical work
Conway's game of life in Swift using Comonads and Representable Functors.
Functional UI toolkit for Jetpack Compose, inspired by purescript-halogen.
Simple task management application for my bachelor thesis based on Phil Freeman's Comonads as spaces
Studying monads in Scala
learn-by-doing course/tutorial for functional programming on scala
a collection of cellular automata written in Haskell with Diagrams
Some experiments with automata in Haskell
Add a description, image, and links to the comonads topic page so that developers can more easily learn about it.
To associate your repository with the comonads topic, visit your repo's landing page and select "manage topics."