Lean experiments at zksecurity
active 2024-08-01 → 2024-12-18 (UTC)
Complete coverage26,426 / 26,426 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-20 (UTC)
Events
225
Pushes
87
Pull requests
36
Issues
21
Stars
6
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 140 days from 2024-08-01 to 2024-12-18. Pushes: 87 total, peak 11 in a day. Pull requests: 36 total, peak 5 in a day. Issues: 21 total, peak 11 in a day. Comments: 21 total, peak 8 in a day. Stars: 6 total, peak 3 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 |
|---|---|---|---|---|
| mitschabaude | 105 | 49 | 19 | 13 |
| gio54321 | 65 | 32 | 15 | 8 |
| ilangdev | 7 | 6 | 1 | 0 |
| famouswizard | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#32mitschabaude2024-12-18 09:51
- Pull request#34gio543212024-12-18 09:31
- Pull request#31mitschabaude2024-12-17 19:44
- Issue comment#31mitschabaude2024-12-17 19:43[Circuit monad] Proper soundness using env function
- Pull request#33gio543212024-12-17 16:51
- Issue comment#31mitschabaude2024-12-17 12:22[Circuit monad] Proper soundness using env function
- Pull request#32mitschabaude2024-12-17 11:43
- Pull request#20mitschabaude2024-12-17 10:48
- Pull request#30mitschabaude2024-12-17 10:41
- Pull request#31mitschabaude2024-12-16 20:48
- Pull request#30mitschabaude2024-12-16 18:55
- Pull request#28gio543212024-12-16 13:30
- Pull request#27mitschabaude2024-12-16 13:20
- Pull request#29mitschabaude2024-12-16 12:30
- Issue comment#13mitschabaude2024-12-16 07:59Output serialization of 8-bit AIR
- Issue#13mitschabaude2024-12-16 07:59Output serialization of 8-bit AIR
- Issue#8mitschabaude2024-12-16 07:588-bit addition - global theorem, prove soundness direction
- Issue comment#8mitschabaude2024-12-16 07:588-bit addition - global theorem, prove soundness direction
- Issue comment#9mitschabaude2024-12-16 07:588-bit addition - global theorem, prove completeness direction
- Issue#9mitschabaude2024-12-16 07:578-bit addition - global theorem, prove completeness direction
- Issue comment#11mitschabaude2024-12-16 07:578-bit addition - formulate global theorem
- Issue#11mitschabaude2024-12-16 07:578-bit addition - formulate global theorem
- Pull request#29mitschabaude2024-12-13 09:15
- Pull request#28gio543212024-12-12 20:04
- Pull request#27mitschabaude2024-12-10 14:55
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 6 stars here means stars gained during the window, not the repo's star count.