active 2023-08-17 → 2026-08-14 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1094 days from 2023-08-17 to 2026-08-14. Pushes: 425 total, peak 16 in a day. Pull requests: 212 total, peak 10 in a day. Issues: 246 total, peak 7 in a day. Comments: 914 total, peak 24 in a day. Stars: 0 total, peak 0 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 |
|---|---|---|---|---|
| jvoigtlaender | 1.3K | 251 | 85 | 543 |
| nimec01 | 330 | 0 | 75 | 174 |
| patritzenfeld | 191 | 127 | 25 | 23 |
| owestphal | 101 | 33 | 9 | 41 |
| github-actions[bot] | 78 | 0 | 0 | 78 |
| JNAOB | 43 | 0 | 9 | 24 |
| marcellussiegburg | 41 | 7 | 5 | 21 |
| KatinkaMeer | 18 | 0 | 2 | 5 |
| Copilot | 10 | 6 | 2 | 0 |
| KaroBo2409 | 8 | 0 | 0 | 3 |
| chatgpt-codex-connector[bot] | 3 | 0 | 0 | 2 |
| adrian-s02 | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#382jvoigtlaender2026-08-06 07:38Formular Markierungsalgorithmus
- Issue#299jvoigtlaender2026-05-07 13:18Use `liberalParser` in `SubTreeSet` task (sub-formulas)?
- Pull request#355patritzenfeld2026-03-09 16:55
- Issue comment#219JNAOB2026-02-26 11:23Verhältnis positiver und negativer Literale bei Formelgenerierung steuern lassen
- Issue#352jvoigtlaender2026-02-26 07:45Adapt to changes in flex-tasks
- Issue#275jvoigtlaender2026-02-26 07:10Aspekte zu `percentTrueEntries`
- Issue#301jvoigtlaender2026-02-25 22:58Less frequent use of `BackImpl`
- Pull request#313JNAOB2026-02-25 22:58
- Issue#332jvoigtlaender2026-01-16 20:34explizite Anerkennung korrekter Lösungen
- Pull request#346JNAOB2026-01-16 20:34
- Pull request#322JNAOB2026-01-13 08:38
- Issue comment#322JNAOB2026-01-12 19:47Strengthen config checkers and `validBounds`
- Issue comment#347patritzenfeld2026-01-12 08:07Super-Linter zeigt bei EDITORCONFIG-Fehlern keine konkrete Datei/Zeile an
- Issue#347JNAOB2026-01-11 19:12Super-Linter zeigt bei EDITORCONFIG-Fehlern keine konkrete Datei/Zeile an
- Pull request#346JNAOB2026-01-10 16:01
- Issue#135jvoigtlaender2026-01-08 09:44Aufbau Aufgabenstellung TreeToFormula
- Pull request#344KatinkaMeer2026-01-08 09:44
- Issue comment#344jvoigtlaender2026-01-07 08:08collapse hints in TreeToFormula and add hints from extraText
- Issue comment#322JNAOB2025-12-22 19:37Strengthen config checkers and `validBounds`
- Issue comment#322JNAOB2025-12-22 18:34Strengthen config checkers and `validBounds`
- Issue comment#322JNAOB2025-12-21 18:13Strengthen config checkers and `validBounds`
- Issue comment#322JNAOB2025-12-21 15:03Strengthen config checkers and `validBounds`
- Issue#333patritzenfeld2025-12-15 17:08Zu einfache Aufgabeninstanzen bei `ResolutionStepReverse`
- Issue comment#322jvoigtlaender2025-12-14 18:06Strengthen config checkers and `validBounds`
- Issue comment#322JNAOB2025-12-14 18:00Strengthen config checkers and `validBounds`
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.