moritayasuaki
View on GitHub ↗active 2023-08-16 → 2024-11-07 (UTC) · 18 repositories
Complete coverage26,754 / 26,754 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-02 (UTC)
Events
57
Pushes
34
Pull requests
0
Issues
1
Reviews
0
Repositories
18
Activity over time
Daily event counts in the loaded window
Line chart, 450 days from 2023-08-16 to 2024-11-07. Pushes: 34 total, peak 3 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 1 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
Repositories worked on
Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list
| Repository | Contributions | Pushes | PRs | Issues | Comments | Last seen |
|---|---|---|---|---|---|---|
| moritayasuaki/bidirectional-flow | 34 | 34 | 0 | 0 | 0 | 2024-06-25 |
| nix-community/home-manager | 2 | 0 | 0 | 0 | 2 | 2024-11-07 |
| agda/agda-stdlib | 1 | 0 | 0 | 1 | 0 | 2023-12-04 |
| moritayasuaki/emacs | 0 | 0 | 0 | 0 | 0 | 2023-09-26 |
| agda/agda | 0 | 0 | 0 | 0 | 0 | 2023-09-28 |
| kmill/LeanTeX | 0 | 0 | 0 | 0 | 0 | 2024-04-03 |
| Smona/nixpkgs | 0 | 0 | 0 | 0 | 0 | 2024-07-12 |
| leanprover/verso | 0 | 0 | 0 | 0 | 0 | 2024-06-03 |
| drgrice1/tikzjax | 0 | 0 | 0 | 0 | 0 | 2023-11-01 |
| T-Brick/lean2wasm | 0 | 0 | 0 | 0 | 0 | 2024-07-08 |
| moritayasuaki/TSAM2024 | 0 | 0 | 0 | 0 | 0 | 2024-09-23 |
| gleachkr/wasm-lean | 0 | 0 | 0 | 0 | 0 | 2024-07-12 |
| obousquet/LeanTeX | 0 | 0 | 0 | 0 | 0 | 2024-04-03 |
| emacs-mirror/emacs | 0 | 0 | 0 | 0 | 0 | 2023-09-22 |
| IanRay11/TypeTopology | 0 | 0 | 0 | 0 | 0 | 2024-04-08 |
| awth13/org-appear | 0 | 0 | 0 | 0 | 0 | 2023-09-14 |
| artisticat1/obsidian-tikzjax | 0 | 0 | 0 | 0 | 0 | 2023-11-01 |
| CCC-Attestation/formal-spec-TEE | 0 | 0 | 0 | 0 | 0 | 2024-11-07 |
Works with
People who contribute to the same repositories, ranked by how many they share · automation excluded, or every account would appear to work with everyone
Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.