Skip to content
GitHub Explorer

lean-ja/lean4-metaprogramming-book-ja

View on GitHub ↗Related repositories →

作業中

active 2024-09-07 → 2024-11-04 (UTC)

Complete coverage27,359 / 27,359 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
89
Pushes
32
Pull requests
27
Issues
0
Stars
1
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 59 days from 2024-09-07 to 2024-11-04. Pushes: 32 total, peak 6 in a day. Pull requests: 27 total, peak 4 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 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

ContributorContributionsPushesPRsComments
s-taiga5932270

Recent activity

Latest issues, pull requests and releases

  • Pull request#14s-taiga2024-11-04 06:08
  • Pull request#14s-taiga2024-11-04 06:03
  • Pull request#13s-taiga2024-09-28 04:03
  • Pull request#13s-taiga2024-09-27 13:19
  • Pull request#12s-taiga2024-09-27 13:17
  • Pull request#12s-taiga2024-09-27 12:54
  • Pull request#11s-taiga2024-09-27 12:52
  • Pull request#11s-taiga2024-09-26 23:56
  • Pull request#10s-taiga2024-09-26 23:54
  • Pull request#10s-taiga2024-09-23 13:38
  • Pull request#9s-taiga2024-09-23 13:35
  • Pull request#9s-taiga2024-09-23 05:07
  • Pull request#8s-taiga2024-09-23 05:05
  • Pull request#8s-taiga2024-09-22 07:56
  • Pull request#7s-taiga2024-09-22 07:54
  • Pull request#7s-taiga2024-09-21 16:39
  • Pull request#6s-taiga2024-09-21 16:38
  • Pull request#6s-taiga2024-09-20 16:05
  • Pull request#5s-taiga2024-09-20 16:00
  • Pull request#5s-taiga2024-09-17 14:31
  • Pull request#4s-taiga2024-09-17 14:26
  • Pull request#4s-taiga2024-09-16 08:18
  • Pull request#3s-taiga2024-09-16 08:16
  • Pull request#3s-taiga2024-09-15 08:54
  • Pull request#2s-taiga2024-09-15 08:47

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.