Skip to content
GitHub Explorer

mori1116

View on GitHub ↗

active 2023-08-15 → 2024-07-11 (UTC) · 14 repositories

Complete coverage26,697 / 26,697 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-08-31 (UTC)
Events
281
Pushes
248
Pull requests
9
Issues
0
Reviews
0
Repositories
14

Activity over time

Daily event counts in the loaded window

Line chart, 332 days from 2023-08-15 to 2024-07-11. Pushes: 248 total, peak 6 in a day. Pull requests: 9 total, peak 2 in a day. Issues: 0 total, peak 0 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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
snu-sf/fairness1791718002024-07-11
mori1116/CompCert47470002024-01-18
mori1116/refinement-tutorial19190002023-12-19
mori1116/mori1116.github.io11110002024-02-26
secure-compilation/CompCert101002023-09-29
popl24-654/popl24-654000002023-09-15
etcd-io/raft000002023-09-06
pwndbg/pwndbg000002024-04-05
tigerbeetle/tigerbeetle000002023-09-03
fpaxos/fpaxos-tlaplus000002023-10-20
uw-unsat/jitterbug000002024-03-21
viperproject/gobra000002024-04-27
jepsen-io/maelstrom000002023-09-03
bottlerocket-os/bottlerocket000002023-09-23

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

ContributorShared reposRepositories in common
AndrewTolmach1
secure-compilation/CompCert
Lee-Janggun1
snu-sf/fairness
argsv1
secure-compilation/CompCert
arthuraa1
secure-compilation/CompCert
catalin-hritcu1
secure-compilation/CompCert
dongjaelee11
snu-sf/fairness
jeremyThibault1
secure-compilation/CompCert
taeyoung-11
snu-sf/fairness

Counts cover only the window loaded into ClickHouse and count events, not this account's lifetime totals on GitHub.