A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
active 2023-08-17 → 2023-09-21 (UTC)
Complete coverage26,370 / 26,370 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-17 (UTC)
Events
41
Pushes
6
Pull requests
4
Issues
0
Stars
2
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 36 days from 2023-08-17 to 2023-09-21. Pushes: 6 total, peak 2 in a day. Pull requests: 4 total, peak 1 in a day. Issues: 0 total, peak 0 in a day. Comments: 14 total, peak 7 in a day. Stars: 2 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 |
|---|---|---|---|---|
| mhuisi | 24 | 6 | 2 | 9 |
| semorrison | 11 | 0 | 2 | 5 |
Recent activity
Latest issues, pull requests and releases
- Releasemhuisi2023-08-27 09:47v2.2.0-lnightly-2023-08-23
- Pull request#16mhuisi2023-08-27 09:28
- Issue comment#16semorrison2023-08-27 02:57chore: bump to nightly-2023-08-23
- Issue comment#16mhuisi2023-08-25 16:17chore: bump to nightly-2023-08-19
- Pull request#15mhuisi2023-08-24 18:59
- Issue comment#15mhuisi2023-08-24 18:57feat: ParseableType Name supporting paths or module identifiers
- Issue comment#16mhuisi2023-08-22 19:26chore: bump to nightly-2023-08-19
- Pull request#16semorrison2023-08-22 01:47
- Pull request#15semorrison2023-08-17 09:39
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 2 stars here means stars gained during the window, not the repo's star count.