comonads

There are 0 repository under comonads topic.

• jwiegley / category-theory

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

  category-theorycoqmonadprofunctorcomonadsmonoidprofunctor-compositionconstructioncategorycategoriesfunctorcartesiancartesian-closed-category
  Language:Coq 735

• dehun / learn-fp

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

  scalacoursefunctional-programmingmonadmonoidfunctortypeclassesfunctional-idiomsmonad-transformerstutorialcomonadsmonadsapplicative
  Language:Scala 606

• bollu / cellularAutomata

  a collection of cellular automata written in Haskell with Diagrams

  cellular-automatadiagramscomonadsgame-of-life
  Language:Haskell 181

• arthurxavierx / purescript-comonad-ui-todos

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

  purescriptcomonadsui
  Language:PureScript 53

• robrix / freer-cofreer

  freer monads and cofreer comonads.

  comonadsmonadshaskell
  Language:Haskell 21

• freckle / nonempty-zipper

  A non-empty comonadic list zipper

  datastructurescomonadshaskelllist
  Language:Haskell 6

• thomasmarsh / swift-conway-comonad

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

  representable-functorscomonadsgame-of-lifelifeswift
  Language:Swift 6
• Iodine

  Sintrastes / Iodine

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

  kotlinjetpack-composecomonadsarrow-ktui-componentsdeclarative-uifunctional-programmingandroid
  Language:Kotlin 3

• Risto-Stevcev / idris-comonad

  An implementation of comonads in idris

  idriscomonadcomonads
  Language:Idris 2

• ColOfAbRiX / monad-study

  Studying monads in Scala

  functional-programmingscalafunctorsmonadcomonadsmonoidsmonad-transformerstrampoline
  Language:Scala 1

• pnotequalnp / game-of-life

  Conway's game of life in Idris 2 with comonads

  comonadsgame-of-life
  Language:Idris 1

• Balletie / Automata

  Some experiments with automata in Haskell

  haskellautomatacellular-automatacomonads
  Language:Haskell 0

• ktec / comonads-monoids-trees

  A exploration of Comonads, Monoids and Trees using Elixir

  elixircomonadsmonoidstrees
  Language:Elixir