Differential Datalog Linter
active 2025-06-23 → 2026-07-30 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 403 days from 2025-06-23 to 2026-07-30. Pushes: 529 total, peak 24 in a day. Pull requests: 171 total, peak 15 in a day. Issues: 79 total, peak 11 in a day. Comments: 1,520 total, peak 94 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 |
|---|---|---|---|---|
| coderabbitai[bot] | 1.2K | 3 | 10 | 749 |
| leynos | 1.1K | 476 | 148 | 331 |
| codescene-delta-analysis[bot] | 491 | 0 | 0 | 94 |
| sourcery-ai[bot] | 339 | 0 | 0 | 204 |
| chatgpt-codex-connector[bot] | 41 | 0 | 0 | 20 |
| dependabot[bot] | 24 | 4 | 10 | 10 |
| lodyai[bot] | 20 | 20 | 0 | 0 |
| macroscopeapp[bot] | 5 | 0 | 0 | 4 |
| greptile-apps[bot] | 4 | 0 | 0 | 0 |
| devboxerhub[bot] | 3 | 3 | 0 | 0 |
| github-actions[bot] | 2 | 2 | 0 | 0 |
| SourceryAI | 1 | 0 | 0 | 0 |
| traycerai[bot] | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#275dependabot[bot]2026-07-02 11:25
- Issue comment#264coderabbitai[bot]2026-05-30 00:19Plan: finalise legacy token compatibility policy (2.6.7)
- Issue#223leynos2026-05-29 17:38[High] Oversized modules violate local maintainability guideline (400-line cap)
- Issue comment#259leynos2026-05-04 16:11Refactor large parser modules into smaller components under 400 lines
- Issue comment#259leynos2026-05-04 14:52Refactor large parser modules into smaller components under 400 lines
- Issue#261coderabbitai[bot]2026-05-03 23:29Introduce snapshot testing for Expr::to_sexpr() in sexpr.rs
- Issue comment#259leynos2026-05-03 23:28Refactor large parser modules into smaller components under 400 lines
- Issue comment#259coderabbitai[bot]2026-05-03 20:17Refactor large parser modules into smaller components under 400 lines
- Issue comment#259coderabbitai[bot]2026-05-01 22:38Refactor large parser modules into smaller components under 400 lines
- Issue#221leynos2026-04-23 00:38[High] Duplicated assignment parsing/validation paths can drift
- Issue#253leynos2026-04-11 14:50Add exact identifier-token spans to semantic records (deferred precision milestone)
- Pull request#256leynos2026-04-11 14:50
- Issue comment#256leynos2026-04-11 13:26Extend Symbol with precise identifier span
- Pull request#247leynos2026-04-11 00:19
- Issue comment#247leynos2026-04-10 21:54Align transformer declaration grammar and output signatures
- Issue comment#256coderabbitai[bot]2026-04-10 13:17Add precise identifier spans (name_span) for AST, sema, and lint rules
- Issue comment#257leynos2026-04-09 11:54Centralize Span to TextRange helper in linter design
- Pull request#247coderabbitai[bot]2026-04-08 23:44
- Pull request#247coderabbitai[bot]2026-04-08 23:44
- Pull request#257coderabbitai[bot]2026-04-08 22:55
- Pull request#257coderabbitai[bot]2026-04-08 22:55
- Issue comment#254coderabbitai[bot]2026-04-08 22:52Align transformer spec, add tests, update docs
- Pull request#256coderabbitai[bot]2026-04-08 20:05
- Issue comment#254coderabbitai[bot]2026-04-08 15:09Align transformer spec, add tests, update docs
- Issue comment#250leynos2026-04-08 12:45Centralise Span → TextRange conversion in a linter-owned helper module
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.