Fast f4 algorithm to find groebner basis
active 2023-11-29 → 2024-05-06 (UTC)
Complete coverage26,761 / 26,761 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-03 (UTC)
Events
257
Pushes
103
Pull requests
13
Issues
0
Stars
0
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 160 days from 2023-11-29 to 2024-05-06. Pushes: 103 total, peak 14 in a day. Pull requests: 13 total, peak 6 in a day. Issues: 0 total, peak 0 in a day. Comments: 98 total, peak 48 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 |
|---|---|---|---|---|
| KaurkerDevourer | 179 | 103 | 13 | 32 |
| DimaTrushin | 69 | 0 | 0 | 66 |
Recent activity
Latest issues, pull requests and releases
- Pull request#7KaurkerDevourer2024-05-05 18:11
- Pull request#6KaurkerDevourer2024-05-05 18:08
- Pull request#6KaurkerDevourer2024-05-05 14:08
- Pull request#5KaurkerDevourer2024-05-05 12:35
- Pull request#5KaurkerDevourer2024-05-04 22:44
- Pull request#4KaurkerDevourer2024-05-04 17:30
- Pull request#4KaurkerDevourer2024-05-04 17:30
- Pull request#3KaurkerDevourer2024-05-04 16:52
- Pull request#3KaurkerDevourer2024-05-04 16:52
- Pull request#2KaurkerDevourer2024-05-04 16:50
- Pull request#2KaurkerDevourer2024-05-03 10:36
- Pull request#1KaurkerDevourer2024-05-03 09:13
- Issue comment#1KaurkerDevourer2024-04-09 16:42Dev
- Issue comment#1KaurkerDevourer2024-02-16 19:45Dev
- Pull request#1KaurkerDevourer2024-01-31 12:07
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.