Zennと連携するためのリポジトリ
active 2023-10-12 → 2024-12-17 (UTC)
Complete coverage26,560 / 26,560 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-25 (UTC)
Events
52
Pushes
24
Pull requests
11
Issues
1
Stars
0
Forks
1
Activity over time
Daily event counts in the loaded window
Line chart, 433 days from 2023-10-12 to 2024-12-17. Pushes: 24 total, peak 4 in a day. Pull requests: 11 total, peak 3 in a day. Issues: 1 total, peak 1 in a day. Comments: 4 total, peak 1 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 |
|---|---|---|---|---|
| Seasawher | 36 | 22 | 10 | 4 |
| s-taiga | 2 | 2 | 0 | 0 |
| pandaman64 | 1 | 0 | 1 | 0 |
| asei-proxima | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#7Seasawher2024-06-22 08:02
- Issue comment#7Seasawher2024-06-22 08:02dependent type theoryを依存型理論と翻訳する
- Pull request#7pandaman642024-06-22 07:59
- Issue#6asei-proxima2024-03-28 03:37eratosthenes sieve
- Issue comment#3Seasawher2024-01-10 11:19関数型プログラミングの文脈から Lean を宣伝する記事を書く
- Pull request#3Seasawher2024-01-10 11:19
- Pull request#5Seasawher2023-10-26 01:15
- Pull request#5Seasawher2023-10-26 01:14
- Pull request#4Seasawher2023-10-24 13:25
- Issue comment#4Seasawher2023-10-24 13:25最小値を先頭に持ってくる関数と，それが置換であること
- Pull request#3Seasawher2023-10-19 12:49
- Pull request#2Seasawher2023-10-16 09:22
- Pull request#2Seasawher2023-10-16 09:22
- Pull request#1Seasawher2023-10-16 09:17
- Issue comment#1Seasawher2023-10-14 16:35フィボナッチ数列に関する記事を追加する
- Pull request#1Seasawher2023-10-14 16:21
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.