cofree-coffee/cofree-bot issues and pull requests

#87 - Traversing or binding over a bot?

Issue - State: open - Opened by solomon-b about 1 year ago

#86 - Adds Monoidal Functor instances for Bot and ListT

Pull Request - State: closed - Opened by solomon-b about 1 year ago - 1 comment

#85 - Fix Session Parser Bug

Pull Request - State: closed - Opened by conjunctive over 1 year ago - 1 comment

#84 - Updates nix:deploy github action

Pull Request - State: closed - Opened by solomon-b over 1 year ago

#83 - Update Nixpkgs

Pull Request - State: closed - Opened by solomon-b over 1 year ago

#82 - Bug/fix Env Var Fetching

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#81 - Adds an OpenAI Behavior

Pull Request - State: open - Opened by solomon-b about 2 years ago

#80 - rename liftSimpleBot to embedTextBot

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#79 - Rewrites /+\ bot operator

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#78 - Adds 'can' utility function.

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#77 - Adjusts precedence of type operators

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#76 - Rename interleaveListT to alignListT

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#75 - rename mapMaybeBot

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#74 - Allow Name Shadowing

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#73 - Update gitignore

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#72 - Update Readme

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#71 - Update github cabal action

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#70 - Update cabal file metadata.

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#69 - Bump nixpkgs to 22.11

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#68 - Adds hoist functions for Behavior, Env, and Server

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#67 - Idiomatic pure/return for ListT

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#66 - Document project philosophy

Issue - State: open - Opened by masaeedu about 2 years ago - 1 comment

#65 - Higher Kinded Bots

Pull Request - State: open - Opened by solomon-b about 2 years ago

#64 - Graceful Shutdown

Issue - State: closed - Opened by solomon-b about 2 years ago
Labels: cofree-bot

#63 - Bot I/O Serialization

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#62 - [draft]: nix refactoring & ci changes

Pull Request - State: open - Opened by jkachmar about 2 years ago

#61 - Project Reorganization

Pull Request - State: closed - Opened by solomon-b about 2 years ago - 1 comment

#60 - [Executable] Use an HKD to fetch bot config from env, argv, and config file.

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#59 - Bot Test Scripts

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#58 - Removes precommit-hooks

Pull Request - State: closed - Opened by solomon-b about 2 years ago

#57 - Reformat With Ormolu

Pull Request - State: closed - Opened by solomon-b over 2 years ago

#56 - Updates matrix-client to 0.1.4.2 and ghc to 924. Removes brittany.

Pull Request - State: closed - Opened by solomon-b over 2 years ago

#55 - Bot State Persistence

Pull Request - State: closed - Opened by solomon-b over 2 years ago - 4 comments

#54 - In-Memory Todo List Bot Behavior

Pull Request - State: open - Opened by solomon-b over 2 years ago - 6 comments

#53 - Feature/listT bot rebase

Pull Request - State: closed - Opened by solomon-b over 2 years ago

#52 - Improved haddocks and explicit exports

Pull Request - State: closed - Opened by solomon-b over 2 years ago

#51 - Bot Fixed Point and Moore Machine Servers

Pull Request - State: closed - Opened by solomon-b over 2 years ago - 1 comment

#50 - Adds an hlint yaml file and removes some rules

Pull Request - State: closed - Opened by solomon-b over 2 years ago

#49 - Re-factor Bot and Behaviours

Pull Request - State: closed - Opened by Boarders about 3 years ago - 4 comments

#48 - implements messaging api

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#47 - Implement bot fixpoints and a bunch of stuff

Pull Request - State: closed - Opened by masaeedu about 3 years ago - 2 comments

#46 - Feature/ListT

Pull Request - State: closed - Opened by conjunctive about 3 years ago - 1 comment

#45 - Add magic 8 ball bot

Pull Request - State: closed - Opened by cprussin about 3 years ago

#44 - Feature request: stateful lists

Issue - State: open - Opened by isovector about 3 years ago - 1 comment

#43 - Feature/ListT Bot

Pull Request - State: closed - Opened by conjunctive about 3 years ago - 1 comment
Labels: WIP

#42 - Jitsi Bot

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#41 - Ligma bot

Pull Request - State: closed - Opened by isovector about 3 years ago

#40 - -Werror=missing-home-modules is super annoying

Issue - State: closed - Opened by isovector about 3 years ago

#39 - Dont check in hie.yaml

Issue - State: closed - Opened by isovector about 3 years ago

#38 - Get users in the room

Issue - State: open - Opened by isovector about 3 years ago - 2 comments

#37 - Generalized REPL Bot System

Issue - State: open - Opened by solomon-b about 3 years ago

#36 - Zulip Support

Issue - State: open - Opened by solomon-b about 3 years ago

#35 - Feature Bot Messaging API

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 1 comment
Labels: WIP

#34 - Feature/easier cli mode

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#33 - Initial draft roadmap

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#32 - Proof Of Concept Repl Bots via nix-shell

Pull Request - State: open - Opened by solomon-b about 3 years ago
Labels: WIP

#31 - Support for more chat protocols

Issue - State: closed - Opened by solomon-b about 3 years ago

#30 - Refactor Flake

Pull Request - State: closed - Opened by JonathanLorimer about 3 years ago - 15 comments

#29 - Better tensor

Pull Request - State: closed - Opened by isovector about 3 years ago

#28 - Support stack builds

Pull Request - State: closed - Opened by isovector about 3 years ago - 1 comment

#27 - Improve CI and refactor Flake

Pull Request - State: closed - Opened by JonathanLorimer about 3 years ago - 1 comment

#26 - Attempt at adding cachix

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#25 - Reorganizes Module Structure

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#24 - Use HKDs on the bot inputs and outputs

Issue - State: open - Opened by solomon-b about 3 years ago

#23 - Implements a coin flip bot

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#22 - Filter Bots using CoChoice

Issue - State: open - Opened by solomon-b about 3 years ago

#21 - Modify Inputs and Outputs Independently Using Optics

Issue - State: open - Opened by solomon-b about 3 years ago - 2 comments

#20 - Parser/Printer Classes

Issue - State: closed - Opened by solomon-b about 3 years ago

#19 - Formalize Harness Abstraction

Issue - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#18 - Wire API For Bots

Issue - State: open - Opened by solomon-b about 3 years ago

#17 - GHCI Bot

Issue - State: closed - Opened by solomon-b about 3 years ago - 1 comment
Labels: GHCI-Bot

#16 - Refine Sessionized Bot Interaction

Issue - State: open - Opened by solomon-b about 3 years ago

#15 - Bot Support for Other Matrix Actions (replies, joining, leaving, kicking, announcing, etc)

Issue - State: open - Opened by solomon-b about 3 years ago

#14 - Introspect on Session Bot's Sessions

Issue - State: open - Opened by solomon-b about 3 years ago

#13 - Fixed Point of Bot

Issue - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#12 - Bot Autojoins and listens to DMs

Issue - State: closed - Opened by solomon-b about 3 years ago - 2 comments

#11 - Read Auth Token From A File

Issue - State: closed - Opened by solomon-b about 3 years ago

#10 - Multi Output Bot Type aka ListT Done Right

Issue - State: closed - Opened by solomon-b about 3 years ago

#9 - Handle Full Room Events

Issue - State: open - Opened by solomon-b about 3 years ago

#8 - Test Framework

Issue - State: closed - Opened by solomon-b about 3 years ago

#7 - Debug Mode

Issue - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#6 - Adds Bot Debug Mode

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#5 - Adds docker image nix derivation

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 1 comment

#4 - Uses `XDG_CACHE_HOME` for `since` cache.

Pull Request - State: closed - Opened by solomon-b about 3 years ago - 4 comments

#3 - Implements core bot design

Pull Request - State: closed - Opened by solomon-b about 3 years ago

#2 - error: attribute 'getFlake' missing, at /home/shae/build/cofree-bot/shell.nix:3:2

Issue - State: closed - Opened by shapr about 3 years ago - 2 comments

#1 - A Vision For This Project

Issue - State: closed - Opened by solomon-b about 3 years ago - 2 comments

GitHub / cofree-coffee/cofree-bot issues and pull requests