Skip to content

active 2023-11-062025-01-05 (UTC) · 14 repositories

Complete coverage26,707 / 26,707 hourly files (100%) · 2 absent upstream2023-08-152026-08-31 (UTC)
Events
64
Pushes
0
Pull requests
0
Issues
27
Reviews
0
Repositories
14

Activity over time

Daily event counts in the loaded window

Line chart, 428 days from 2023-11-06 to 2025-07-24. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 27 total, peak 5 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
guidance-ai/guidance15004112024-06-19
lean-dojo/LeanDojo1500872024-08-11
InternLM/InternLM-Math700252024-10-30
princeton-nlp/SWE-bench500322023-12-27
sgl-project/sglang500322024-03-22
THUDM/AgentTuning300122023-11-24
huggingface/tokenizers300122024-06-11
yangky11/miniF2F-lean4200202024-08-27
allenai/lumos100102023-11-24
QwenLM/Qwen100102024-01-03
Eleanor-H/MUSTARD100102024-10-17
albertqjiang/Portal-to-ISAbelle100012025-01-05
Lean-zh/LeanDojo000002024-07-23
faridrashidi/kaggle-solutions000002023-12-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

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