DevImprint.

Rankings → kim-em

kim-em

People rank #748 by AI-assisted commits detected in public repositories over the 30 days from 25 August 2026. Profile on GitHub.

54.7% of known repositories scanned · provisionalSnapshot How we measure →
Download JSON ↗Read as Markdown ↗Coverage ↗
Cite this statistic

DevImprint recorded 827 detectable AI-assisted commits for kim-em during 2026-08-25–2026-09-23 (UTC). Population: resolved person; rank within people. Source snapshot: 2026-09-23T09:35:18.512893+00:00 (a990a2b79b423e57ba2515ee9f369641b8dba29ac1509c8b7371baab856bd684). 54.7% of known repositories scanned; provisional. Methodology: 2026-09-14. Page: https://devimprint.com/developers/kim-em/. Current data: https://devimprint.com/leaderboard.json

Data & coverage

Daily activity

2026-08-25 to 2026-09-23
AI-assisted commits per day over the 30-day window beginning 25 August 2026. Days are UTC as recorded in the commit. The final day may be incomplete at the snapshot timestamp.
Table view
Day (UTC)AI-assisted commits
25 August 20269
26 August 202664
27 August 202627
28 August 20261
29 August 20260
30 August 20268
31 August 20265
1 September 20267
2 September 202661
3 September 202654
4 September 20263
5 September 202664
6 September 202631
7 September 202615
8 September 202617
9 September 202611
10 September 202636
11 September 202619
12 September 202610
13 September 202611
14 September 2026195
15 September 202685
16 September 202611
17 September 202649
18 September 202613
19 September 20264
20 September 202616
21 September 20261
22 September 20260
23 September 20260

Repositories containing these commits

These are repositories where matching commits were found. They are not necessarily owned by this account or listed on its GitHub profile.

RepositoryLast 30 daysAll time
TauCetiProject/TauCeti4201,519
kim-em/hex-dev1822,941
leanprover/lean429601
kim-em/TauCeti21880
kim-em/kim-em.github.io2041
kim-em/cslib1452
leanprover/lean4-pr-releases13744
kim-em/mathlib411673
leanprover-community/mathlib411283
CBirkbeck/TauCeti10538

About this page

Counts come from commits published in public repositories that carry a detectable AI coding tool signature. They are not a measure of productivity, effort, or code quality. False positives and missed activity are possible; absence does not establish absence of AI use. Read the methodology, orask to be removed.

Snapshot a990a2b79b42 · 275,121 identities ranked.