coot
Mathematician and Software engineer. Exploring the world of Category Theory and Functional Programming.
Pull Requests
1,563
Code Reviews
2,905
Top Repositories
Activity Feed (latest 50)
created a branch coot/dmq-node-to-node in IntersectMBO/ouroboros-network
Jul 3, 2025, 7:28 PM
deleted branch network/release-2025-06-30 at IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 4:14 PM
pushed to main in IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 4:14 PM
merged a pull request in IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 4:14 PM
pushed to coot/quickcheck-monoids-fix in IntersectMBO/ouroboros-network
Jul 2, 2025, 4:09 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 4:03 PM
commented on issue IntersectMBO/cardano-haskell-packages#1107
Jul 2, 2025, 4:02 PM
opened a pull request in IntersectMBO/ouroboros-network
Jul 2, 2025, 4:02 PM
created a branch coot/quickcheck-monoids-fix in IntersectMBO/ouroboros-network
Jul 2, 2025, 4:02 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 3:26 PM
commented on issue IntersectMBO/cardano-haskell-packages#1107
Jul 2, 2025, 3:01 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 2, 2025, 2:58 PM
deleted branch coot/release-0.22 at IntersectMBO/ouroboros-network
Jul 2, 2025, 12:35 PM
merged a pull request in IntersectMBO/ouroboros-network
Jul 2, 2025, 12:35 PM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jul 2, 2025, 10:33 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 2, 2025, 9:53 AM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jul 1, 2025, 8:38 PM
commented on issue IntersectMBO/ouroboros-network#4887
Jul 1, 2025, 2:22 PM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 2:21 PM
commented on issue IntersectMBO/ouroboros-network#4887
Jul 1, 2025, 2:09 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 1, 2025, 12:57 PM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 12:04 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 1, 2025, 11:25 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 11:01 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 10:51 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 10:39 AM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jul 1, 2025, 9:58 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jul 1, 2025, 9:56 AM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 1, 2025, 8:51 AM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jul 1, 2025, 8:41 AM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jul 1, 2025, 8:22 AM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 8:31 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 8:17 PM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jun 30, 2025, 8:00 PM
opened a pull request in IntersectMBO/ouroboros-network
Jun 30, 2025, 3:53 PM
pushed to coot/cardano-diffusion-integration in IntersectMBO/ouroboros-consensus
Jun 30, 2025, 3:52 PM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jun 30, 2025, 3:44 PM
pushed to coot/release-0.22 in IntersectMBO/ouroboros-network
Jun 30, 2025, 3:32 PM
created a branch coot/release-0.22 in IntersectMBO/ouroboros-network
Jun 30, 2025, 3:06 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 12:46 PM
pushed to network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 12:19 PM
commented on issue IntersectMBO/cardano-haskell-packages#1107
Jun 30, 2025, 12:02 PM
opened a pull request in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 11:57 AM
created a branch network/release-2025-06-30 in IntersectMBO/cardano-haskell-packages
Jun 30, 2025, 11:56 AM
pushed to coot/tx-submission in IntersectMBO/ouroboros-network
Jun 30, 2025, 11:25 AM
deleted branch coot/ouroboros-network-0.22.0.0 at IntersectMBO/ouroboros-network
Jun 30, 2025, 10:44 AM
merged a pull request in IntersectMBO/ouroboros-network
Jun 30, 2025, 10:44 AM
pushed to coot/ouroboros-network-0.22.0.0 in IntersectMBO/ouroboros-network
Jun 30, 2025, 9:54 AM
pushed to coot/cardano-diffusion-integration in IntersectMBO/ouroboros-consensus
Jun 30, 2025, 9:19 AM
commented on pull request IntersectMBO/cardano-node#6265
Jun 30, 2025, 7:38 AM