Easiest formal specification language ever! Designed for distributed systems developers to be used for everyday applications.
active 2024-03-14 → 2024-03-26 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 13 days from 2024-03-14 to 2024-03-26. Pushes: 8 total, peak 3 in a day. Pull requests: 12 total, peak 2 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 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 |
|---|---|---|---|---|
| jayaprabhakar | 20 | 8 | 12 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#105jayaprabhakar2024-03-26 02:28
- Pull request#105jayaprabhakar2024-03-26 02:28
- Pull request#104jayaprabhakar2024-03-25 22:45
- Pull request#104jayaprabhakar2024-03-25 22:44
- Pull request#103jayaprabhakar2024-03-21 00:05
- Pull request#103jayaprabhakar2024-03-21 00:02
- Pull request#102jayaprabhakar2024-03-20 16:57
- Pull request#102jayaprabhakar2024-03-20 16:57
- Pull request#101jayaprabhakar2024-03-16 08:14
- Pull request#101jayaprabhakar2024-03-16 08:14
- Pull request#100jayaprabhakar2024-03-14 18:00
- Pull request#100jayaprabhakar2024-03-14 18:00
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.