active 2025-06-30 → 2025-06-30 (UTC)
Partial coverage12,839 / 14,736 hourly files (87%) · 2 absent upstream · 1,892 failed, retryable2024-12-05 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
14
Pushes
0
Pull requests
0
Issues
14
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 1 days from 2025-06-30 to 2025-06-30. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 14 total, peak 14 in a day. Comments: 0 total, peak 0 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 |
|---|---|---|---|---|
| bash | 14 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Issue#30bash2025-06-30 17:17Annotate Sub-expression Changed During Reduction Step
- Issue#31bash2025-06-30 17:17Built-in asserts for testing
- Issue#33bash2025-06-30 17:17Nominal Definitions
- Issue#32bash2025-06-30 17:17Display Improvements
- Issue#35bash2025-06-30 17:17Test for ɑ-Equivalence
- Issue#22bash2025-06-30 17:17Rainbow parenthesis
- Issue#23bash2025-06-30 17:17Memoization?
- Issue#25bash2025-06-30 17:17Embeddable
- Issue#28bash2025-06-30 17:17Evaluation Take Ⅱ
- Issue#27bash2025-06-30 17:17Expand Nominal Definitions during Evaluation
- Issue#3bash2025-06-30 17:17n-Ary Schematic Definitions
- Issue#9bash2025-06-30 17:17Parse schematic definitions
- Issue#17bash2025-06-30 17:17Reduce to normal form
- Issue#2bash2025-06-30 17:17Unicode symbols
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.