Skip to content

active 2023-09-192026-02-14 (UTC) · 141 repositories

Complete coverage26,602 / 26,602 hourly files (100%) · 2 absent upstream2023-08-152026-08-27 (UTC)
Events
333
Pushes
87
Pull requests
10
Issues
17
Reviews
17
Repositories
141

Activity over time

Daily event counts in the loaded window

Line chart, 880 days from 2023-09-19 to 2026-02-14. Pushes: 87 total, peak 13 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 17 total, peak 2 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
emeinhardt/ersatz27270002024-01-11
ekmett/ersatz26060122024-03-15
NixOS/nixpkgs14001042025-03-18
imandra-ai/imandrax-api1350342026-01-16
emeinhardt/cat-herder11110002024-03-30
imandra-ai/imandra-ai.github.io901032025-09-22
emeinhardt/seq-zipper880002023-11-09
imandra-ai/imandra-document821032024-12-02
emeinhardt/nonempty-containers770002023-11-08
emeinhardt/hegg-optics770002023-11-06
emeinhardt/zusatz660002024-01-19
emeinhardt/pointed-word550002023-12-13
emeinhardt/hegg-patterns330002023-11-08
emeinhardt/t-regex220002024-01-03
imandra-ai/imandrax-vscode211002025-08-18
input-output-hk/haskell.nix200112024-01-29
leftaroundabout/constrained-categories200112024-01-16
emeinhardt/con-cat-extras110002024-01-17
ltbinsbe/fungll-combinators101002024-04-08
emeinhardt/typelits-witnesses110002024-04-09
emeinhardt/langium-minilogo110002024-11-22
imandra-ai/fix-engine100002025-09-18
luc-tielen/souffle-haskell100102023-11-15
tweag/nickel100012024-08-15
nix-community/home-manager100102024-10-07
emeinhardt/semiarrow000002024-01-12
emeinhardt/bisemigroup000002024-04-05
jkoppel/jj-workshop000002025-07-27
emeinhardt/dog000002023-11-24
sheaf/typelits-witnesses000002024-04-09
stephentetley/graded-lib000002024-05-26
phantomics/april000002025-12-21
google/mangle000002024-08-24
antitypical/fused-syntax000002024-03-10
nome/nu-batteries000002024-10-05
ytakano/blisp000002024-11-14
akuczala/cat-circuits000002023-11-22
prove-rs/z3.rs000002023-11-18
stepchowfun/typical000002024-08-16
hall/kubenix000002024-09-01
well-typed/falsify000002023-09-21
mingodad/plgh000002024-08-12
BartoszMilewski/XOperad000002024-02-09
pdonadeo/ocaml-lens000002024-09-30
msakai/essence-of-ad000002024-01-23
nix-ocaml/nix-overlays000002024-05-21
mstksg/dhall-text-shell000002024-08-19
DevInsideYou/scala-seed000002024-01-10
bgavran/Lens_Resources000002024-01-12
ocramz/heidi000002024-03-16

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
actionshrimp4
michaelpj4
seprov4
Artturin3
Bronsa3
DrRuhe3
KiaraGrouwstra3
Rosuavio3
ShalokShalom3
YorikSar3
amesgen3
bew3
domenkozar3
dpc3
elijahkagan3
euank3
giorgiga3
gkleen3
grantpassmore3
herberteuler3
hon-gyu3
ju1m3
mrBliss3
mrcjkb3
nrdxp3

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