Skip to content

active 2023-08-15 → 2026-09-23 (UTC) · 40 repositories

Complete coverage27,291 / 27,294 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-25 (UTC)
Events
3.2K
Pushes
716
Pull requests
361
Issues
259
Reviews
602
Repositories
40

Activity over time

Daily event counts in the loaded window

Line chart, 1136 days from 2023-08-15 to 2026-09-23. Pushes: 716 total, peak 21 in a day. Pull requests: 361 total, peak 8 in a day. Issues: 260 total, peak 9 in a day.

  • Pushes
  • Pull requests
  • Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
IntersectMBO/formal-ledger-specifications1,4753181941694522025-12-08
input-output-hk/formal-ledger-specifications67414185592202023-12-15
input-output-hk/ouroboros-leios8528105202025-12-09
cardano-foundation/CIPs84020632026-02-12
input-output-hk/ouroboros-leios-formal-spec734013172026-03-30
WhatisRT/lc-experiments715615002023-11-15
IntersectMBO/cardano-ledger536103322025-11-04
input-output-hk/iog-agda-prelude44209072026-06-17
input-output-hk/agda-sets28154622026-04-15
agda/agda-stdlib-classes26440132025-07-31
agda/agda-stdlib-meta2194252026-06-12
agda/agda2114692025-09-29
WhatisRT/meta-cedille17170002024-06-18
agda/agda-stdlib1632082024-09-30
IntersectMBO/ouroboros-consensus1300062024-10-04
IntersectMBO/cardano-formal-specifications1151222026-02-12
input-output-hk/agda-abstract-set-theory11110002024-10-04
omelkonian/agda-stdlib-classes1064002024-10-15
WhatisRT/CIPs990002024-04-30
input-output-hk/categorical-crypto880002026-09-23
IntersectMBO/plutus500022024-01-12
WhatisRT/pagda550002026-06-18
WhatisRT/Pagda550002026-06-15
input-output-hk/cardano-ledger500032023-09-13
GTNewHorizons/GT-New-Horizons-Modpack400312025-08-03
omelkonian/agda-stdlib-meta320102024-09-10
input-output-hk/agda-cardano-common200012026-02-17
input-output-hk/agda220002024-06-28
ShadowTheAge/gtnh200022025-04-22
GTNewHorizons/lwjgl3ify200112025-02-11
WhatisRT/WhatisRT.github.io220002024-03-21
agda/nix-packages110002024-11-26
input-output-hk/agda.nix110002026-03-27
WhatisRT/tree-sitter-agda110002026-06-05
input-output-hk/iohk-nix100002023-10-31
omelkonian/stdlib-meta100002023-11-08
input-output-hk/plutus100002023-08-17
SymmetricDevs/Supersymmetry100102024-11-01
input-output-hk/agda-stdlib000002024-06-21
WhatisRT/documents000002024-11-27

Works with

People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone

ContributorShared reposRepositories in common
omelkonian12
javierdiaz7211
carlostome10
HeinrichApfelmus8
angerman8
ch1bo8
lehins8
CarlosLopezDeLara7
UlfNorell7
jmchapman7
KtorZ6
Soupstraw6
amesgen6
aniketd6
coot6
disassembler6
erikd6
nfrisby6
perturbing6
teodanciu6
zliu416
Jimbo43505
Quantumplation5
Ryun15
abailly-iohk5

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.