Skip to content

active 2023-08-152024-01-09 (UTC) · 18 repositories

Partial coverage22,643 / 26,311 hourly files (86%) · 2 absent upstream · 3,667 failed, retryable2023-08-152026-08-15 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
72
Pushes
47
Pull requests
0
Issues
0
Reviews
0
Repositories
18

Activity over time

Daily event counts in the loaded window

Line chart, 148 days from 2023-08-15 to 2024-01-09. Pushes: 47 total, peak 5 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 0 total, peak 0 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
reklack/reklack44440002024-01-09
reklack/math-old330002023-08-24
Paper-Proof/paperproof200022023-09-02
facebookresearch/audiocraft200022023-10-11
BinaryAnalysisPlatform/bap000002023-09-12
reklack/GlowCoon000002023-08-15
reklack/GoLeata000002023-10-26
onnx/onnx000002023-09-27
Z3Prover/z3000002023-09-02
lakesare/memcode000002023-08-30
pytorch/pytorch000002023-09-02
tinygrad/tinygrad000002023-09-12
langchain-ai/langchain000002023-08-15
informalsystems/apalache000002023-09-02
typelevel/scalacheck000002023-08-15
hasktorch/hasktorch000002023-08-15
idris-hackers/software-foundations000002023-08-15
draperlaboratory/cbat_tools000002023-09-02

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.