egg is a flexible, high-performance e-graph library
active 2023-11-27 → 2024-04-15 (UTC)
Complete coverage26,744 / 26,744 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-02 (UTC)
Events
84
Pushes
57
Pull requests
9
Issues
0
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 141 days from 2023-11-27 to 2024-04-15. Pushes: 57 total, peak 8 in a day. Pull requests: 9 total, peak 3 in a day. Issues: 0 total, peak 0 in a day. Comments: 1 total, peak 1 in a day. Stars: 1 total, peak 1 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 |
|---|---|---|---|---|
| dewert99 | 64 | 55 | 9 | 0 |
| github-actions[bot] | 2 | 2 | 0 | 0 |
| codspeed-hq[bot] | 1 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Pull request#5dewert992024-04-15 18:47
- Pull request#4dewert992024-04-09 19:12
- Pull request#4dewert992024-04-09 19:05
- Pull request#3dewert992024-04-09 18:58
- Pull request#3dewert992024-03-21 21:56
- Pull request#2dewert992024-03-21 21:54
- Pull request#2dewert992024-03-20 22:29
- Pull request#1dewert992024-03-20 22:27
- Issue comment#1codspeed-hq[bot]2024-03-20 21:25Egraph nodes
- Pull request#1dewert992024-03-20 21:18
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 1 stars here means stars gained during the window, not the repo's star count.