Skip to content

active 2023-09-132023-11-27 (UTC) · 32 repositories

Partial coverage20,011 / 25,727 hourly files (78%) · 2 absent upstream · 5,714 failed, retryable2023-09-062026-08-12 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
431
Pushes
394
Pull requests
0
Issues
5
Reviews
0
Repositories
32

Activity over time

Daily event counts in the loaded window

Line chart, 76 days from 2023-09-13 to 2023-11-27. Pushes: 394 total, peak 27 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 5 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Repositories worked on

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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
09-code/develop3893890002023-11-27
09-code/public-memo550002023-09-22
getzola/zola300212023-11-07
moocfi/haskell-mooc200202023-10-22
PrismJS/prism100102023-10-03
xpe/zola000002023-09-15
cognitive-engineering-lab/mdbook-quiz000002023-11-20
isunjn/serene000002023-09-26
thecodrr/docgen000002023-09-22
Doctave/doctave000002023-09-15
mifi/editly000002023-09-21
lecopivo/SciLean000002023-10-12
leanprover-community/mathematics_in_lean000002023-09-13
wellecks/llmstep000002023-09-26
nomeata/loogle000002023-09-22
mufeedvh/gisture000002023-09-15
ldakhoa/GistHub000002023-10-18
ripienaar/free-for-dev000002023-10-20
streetwriters/notesnook000002023-09-22
JoeyLupo/cryptolib000002023-09-14
coq/coq000002023-10-10
opencompl/lean-gap000002023-09-26
leanprover/doc-gen4000002023-11-20
Pythagora-io/gpt-pilot000002023-10-10
hakimel/reveal.js000002023-09-21
siddhartha-gadgil/Saturn000002023-09-26
zineland/zine000002023-09-14
leanprover-community/lean4-metaprogramming-book000002023-11-22
siddhartha-gadgil/LeanAide000002023-09-26
e2b-dev/awesome-ai-agents000002023-10-20
aconite-ac/theorem_proving_in_lean4000002023-09-27
etro-js/etro000002023-09-15

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

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