Skip to content
@cofree-coffee

cofree-coffee

Popular repositories Loading

  1. cofree-bot cofree-bot Public

    A library for building bots compositionally.

    Haskell 47 8

  2. cofree-coffee-cast cofree-coffee-cast Public

    Haskell 6

  3. poly poly Public

    Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.

    Agda 5

  4. matrix-client-haskell matrix-client-haskell Public

    Forked from softwarefactory-project/matrix-client-haskell

    Matrix.org haskell client library

    Haskell

Repositories

Showing 4 of 4 repositories
  • cofree-bot Public

    A library for building bots compositionally.

    Haskell 47 8 18 4 Updated Mar 10, 2025
  • poly Public

    Experiments in Poly based on Nelson Niu and David Spivak's Polynomial Functors book.

    Agda 5 0 0 0 Updated Feb 28, 2024
  • cofree-coffee-cast Public
    Haskell 6 BSD-3-Clause 0 0 0 Updated Feb 7, 2022
  • matrix-client-haskell Public Forked from softwarefactory-project/matrix-client-haskell

    Matrix.org haskell client library

    Haskell 0 6 0 0 Updated Feb 5, 2022

Top languages

Haskell Agda