active 2025-10-22 → 2026-08-10 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 293 days from 2025-10-22 to 2026-08-10. Pushes: 21 total, peak 3 in a day. Pull requests: 9 total, peak 2 in a day. Issues: 7 total, peak 2 in a day. Comments: 9 total, peak 5 in a day. Stars: 22 total, peak 2 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| hargoniX | 17 | 12 | 0 | 3 |
| kim-em | 13 | 3 | 7 | 1 |
| JasonGross | 8 | 0 | 0 | 4 |
| Garmelon | 4 | 3 | 1 | 0 |
| nomeata | 3 | 2 | 1 | 0 |
| Morgan-Griffiths | 1 | 0 | 0 | 1 |
| James-Hanson | 1 | 0 | 0 | 0 |
| robsimmons | 1 | 1 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#43Morgan-Griffiths2026-05-22 05:18Comparator Hack
- Issue#30kim-em2026-04-12 02:53landrun sandbox fails on Linux when comparator uses elan's lake shim and misses the ELF loader
- Pull request#27Garmelon2026-04-02 18:01
- Pull request#24kim-em2026-03-23 04:46
- Pull request#23kim-em2026-03-07 04:21
- Pull request#22kim-em2026-03-04 11:31
- Pull request#21kim-em2026-03-01 14:19
- Pull request#20kim-em2026-02-24 04:03
- Issue#15James-Hanson2026-01-26 22:48What version of lean4export is Comparator looking for?
- Pull request#14kim-em2026-01-26 02:43
- Pull request#14kim-em2026-01-26 02:40
- Pull request#12nomeata2026-01-22 12:04
- Issue#1hargoniX2025-12-21 23:37uncaught exception: (kernel) unknown constant 'Eq' on simple problem
- Issue comment#1hargoniX2025-12-21 23:37uncaught exception: (kernel) unknown constant 'Eq' on simple problem
- Issue comment#1kim-em2025-12-21 22:43uncaught exception: (kernel) unknown constant 'Eq' on simple problem
- Issue#1kim-em2025-12-21 22:42uncaught exception: (kernel) unknown constant 'Eq' on simple problem
- Issue comment#3JasonGross2025-12-21 01:54"uncaught exception: Challenge and solution constant kind don't match" is both unhelpful and untrue
- Issue comment#3JasonGross2025-12-20 21:26"uncaught exception: Challenge and solution constant kind don't match" is both unhelpful and untrue
- Issue#2hargoniX2025-12-20 01:29Request: Flag for allowing differences in `noncomputable`
- Issue comment#2hargoniX2025-12-20 01:29Request: Flag for allowing differences in `noncomputable`
- Issue comment#3hargoniX2025-12-20 01:26"uncaught exception: Challenge and solution constant kind don't match" is both unhelpful and untrue
- Issue comment#1JasonGross2025-12-20 01:00uncaught exception: (kernel) unknown constant 'Eq' on simple problem
- Issue#4JasonGross2025-12-20 00:12comparator should permit dependent challenges ("Const does not match" is sometimes a lie)
- Issue#3JasonGross2025-12-19 23:43"uncaught exception: Challenge and solution constant kind don't match" is both unhelpful and untrue
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 22 stars here means stars gained during the window, not the repo's star count.