active 2023-08-27 → 2023-08-27 (UTC)
Complete coverage26,575 / 26,575 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-26 (UTC)
Events
11
Pushes
0
Pull requests
0
Issues
9
Stars
1
Forks
0
Activity over time
Daily event counts in the loaded window
Line chart, 1 days from 2023-08-27 to 2023-08-27. Pushes: 0 total, peak 0 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 9 total, peak 9 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 |
|---|---|---|---|---|
| despresc | 10 | 0 | 0 | 1 |
Recent activity
Latest issues, pull requests and releases
- Issue#9despresc2023-08-27 01:05Auto-paragraphing
- Issue#8despresc2023-08-27 01:00Megaparsec parser?
- Issue#7despresc2023-08-27 00:57Write out some examples of how the system ought to work
- Issue#6despresc2023-08-27 00:50Flesh out the library structure
- Issue comment#5despresc2023-08-27 00:48Lay out the type system and (non-document) functional language
- Issue#5despresc2023-08-27 00:44Lay out the type system and (non-document) functional language
- Issue#4despresc2023-08-27 00:41Document grammar fully
- Issue#3despresc2023-08-27 00:40Add a `&{}` syntactic construct
- Issue#2despresc2023-08-27 00:39Disaggregate golden tests
- Issue#1despresc2023-08-27 00:38Change name
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.