Skip to content

active 2023-08-16 → 2024-12-18 (UTC) · 36 repositories

Complete coverage27,408 / 27,408 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-29 (UTC)
Events
831
Pushes
308
Pull requests
197
Issues
32
Reviews
102
Repositories
36

Activity over time

Daily event counts in the loaded window

Line chart, 491 days from 2023-08-16 to 2024-12-18. Pushes: 308 total, peak 32 in a day. Pull requests: 197 total, peak 21 in a day. Issues: 32 total, peak 4 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
lemastero/scala_typeclassopedia2097873652024-12-05
lemastero/agda2scala1086730152024-12-04
formalverification/milewski-ctfp-pdf104141011352024-01-08
lemastero/agda2rust8144241012024-05-04
ScalaConsultants/zio-dotty-quickstart.g8532419002024-12-04
lemastero/agda-hott22137012024-12-05
lemastero/Triglav1896002024-11-06
lemastero/algorithms1578002023-08-21
lemastero/agda-verified-fp-algos1275002023-08-21
lemastero/agda2scheme1266002024-01-04
scala-steward/scala_typeclassopedia12120002024-11-21
agda/agda-stdlib802062024-01-04
lemastero/agda-smash752002024-12-05
lemastero/agda-stdlib660002023-11-27
lemastero/lemastero660002024-05-13
jespercockx/agda2scheme401212023-12-09
lemastero/milewski-ctfp-pdf330002023-11-14
omelkonian/agda-minimal-backend302102023-12-15
haskell-actions/setup201012023-11-21
lemastero/stdlib-meta211002023-10-25
scala-steward/zio-dotty-quickstart.g8220002023-10-25
scala-steward/Triglav110002024-11-06
aldum/agda2scala110002024-12-04
lemastero/scala110002023-11-30
akeep/rough-draft100102023-09-14
lemastero/setup110002023-11-21
fredrikNordvallForsberg/CS410-22000002023-12-15
SWI-Prolog/swipl-devel000002023-12-03
omelkonian/stdlib-meta000002023-10-16
pllk/cphb000002024-05-13
erlang/otp000002023-12-02
erlang/rebar3000002023-12-02
input-output-hk/io-sim000002023-11-23
processone/ejabberd000002023-09-29
Qiskit/qiskit000002024-12-18
0xPARC/zk-bug-tracker000002023-08-30

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.