active 2025-07-25 → 2025-08-03 (UTC)
Partial coverage12,407 / 14,116 hourly files (88%) · 2 absent upstream · 1,703 failed, retryable2024-12-30 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
20
Pushes
1
Pull requests
0
Issues
6
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 11 days from 2025-07-24 to 2025-08-03. Pushes: 1 total, peak 1 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 6 total, peak 3 in a day. Comments: 13 total, peak 5 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| ridgeworks | 14 | 1 | 0 | 11 |
| kwon-young | 3 | 0 | 0 | 2 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#8ridgeworks2025-08-03 21:28Arithmetic type and swi-prolog dicts mix badly
- Issue comment#7ridgeworks2025-07-28 14:51transpose duplicates constraints
- Issue comment#6ridgeworks2025-07-28 14:51Bug: shape is inconsistent
- Issue#6ridgeworks2025-07-28 14:51Bug: shape is inconsistent
- Issue comment#4ridgeworks2025-07-28 14:50Bug: single item identity is not a matrix
- Issue#4ridgeworks2025-07-28 14:50Bug: single item identity is not a matrix
- Issue comment#2ridgeworks2025-07-28 14:49Feature request: dot product of a matrix and vector
- Issue comment#7ridgeworks2025-07-28 13:24transpose duplicates constraints
- Issue comment#7ridgeworks2025-07-27 19:55transpose duplicates constraints
- Issue comment#6kwon-young2025-07-26 19:11Bug: shape is inconsistent
- Issue comment#6ridgeworks2025-07-26 18:00Bug: shape is inconsistent
- Issue comment#6ridgeworks2025-07-26 16:15Bug: shape is inconsistent
- Issue#6kwon-young2025-07-26 14:38Bug: shape is inconsistent
- Issue comment#3kwon-young2025-07-25 19:03Feature request: add an operator for dot product
- Issue comment#3ridgeworks2025-07-25 15:21Feature request: add an operator for dot product
- Issue comment#4ridgeworks2025-07-25 15:04Bug: single item identity is not a matrix
- Issue#4kwon-young2025-07-24 20:11Bug: single item identity is not a matrix
- Issue#3kwon-young2025-07-24 20:09Feature request: add an operator for dot product
- Issue#2kwon-young2025-07-24 20:08LabelsFeature request: dot product of a matrix and vector
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.