Skip to content

Command Line Normalizer of ๐œ‘-calculus Expressions

active 2023-12-14 โ†’ 2024-10-07 (UTC)

Complete coverage27,405 / 27,405 hourly files (100%) ยท 2 absent upstream2023-08-15 โ†’ 2026-09-29 (UTC)
Events
3K
Pushes
899
Pull requests
296
Issues
549
Stars
8
Forks
2

Activity over time

Daily event counts in the loaded window

Line chart, 299 days from 2023-12-14 to 2024-10-07. Pushes: 899 total, peak 36 in a day. Pull requests: 296 total, peak 12 in a day. Issues: 549 total, peak 37 in a day. Comments: 676 total, peak 27 in a day. Stars: 8 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

ContributorContributionsPushesPRsComments
deemp1.2K454114184
fizruk73021611998
aabounegm232812859
0pdd19600182
github-actions[bot]11511500
yegor256793156
0crat500050
eyihluyc3815118
renovate[bot]3412191
volodya-lombrozo180018
maxonfjvipon13009
RoukayaZaki10035
Anatolay9313
rultor2002
KrissV21001

Recent activity

Latest issues, pull requests and releases

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals โ€” 8 stars here means stars gained during the window, not the repo's star count.