Skip to content

active 2023-08-212024-07-14 (UTC) · 60 repositories

Complete coverage26,365 / 26,365 hourly files (100%) · 2 absent upstream2023-08-152026-08-17 (UTC)
Events
99
Pushes
4
Pull requests
5
Issues
15
Reviews
0
Repositories
60

Activity over time

Daily event counts in the loaded window

Line chart, 329 days from 2023-08-21 to 2024-07-14. Pushes: 4 total, peak 2 in a day. Pull requests: 5 total, peak 4 in a day. Issues: 15 total, peak 3 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
VictorYYW/HATs22401352024-05-29
zhezhouzz/HATs705112024-05-29
paperwm/PaperWM200022024-05-06
radian-software/straight.el100012024-07-04
minad/vertico100102024-02-28
copilot-emacs/copilot.el100012024-04-17
VictorYYW/.emacs.d000002024-06-02
BillHallahan/G2000002024-02-04
mickeynp/combobulate000002024-07-12
microsoft/Ironclad000002023-10-24
ivan-gavran/samples2LTL000002023-11-07
Speykious/cve-rs000002024-03-01
emacs-straight/auctex000002024-07-04
c-cube/choice000002024-01-09
ZikangXiong/diff-spec000002024-02-27
justinlubin/cobbler000002024-03-04
Generative-Program-Analysis/GenSym000002024-02-01
Myriad-Dreamin/typst.ts000002024-02-21
uw-ece653/dafny000002023-11-07
tlaplus/Examples000002023-10-18
zmw12306/ParDiff000002024-02-25
facebook/infer000002023-10-02
SaswatPadhi/LoopInvGen000002023-09-21
GaloisInc/SEEC000002023-08-25
mb1986/rm-hacks000002023-12-18
rustviz/rustviz000002023-10-06
TyGuS/suslik000002023-09-21
unisonweb/unison000002024-02-21
VeriFIT/mata000002023-12-13
boogie-org/symbooglix000002023-11-07
microsoft/Armada000002023-10-26
stanfordnlp/dspy000002023-09-15
skyzh/chicv000002024-02-21
google-research/dex-lang000002023-10-07
zhezhouzz/coreeff000002023-08-31
ExpressOS/expressos000002023-10-24
Consensys/eth2.0-dafny000002023-11-07
ModelInference/texada000002023-09-21
GillianPlatform/Gillian000002024-02-04
VictorYYW/auctex000002024-07-04
ocaml/setup-ocaml000002024-01-19
c-cube/ocaml-trace000002023-09-23
tensorlakeai/indexify000002024-04-26
nadia-polikarpova/boogaloo000002023-11-07
effect-handlers/effect-handlers-bench000002024-02-03
GaloisInc/crucible000002024-02-21
google/coding-competitions-archive000002023-09-15
jdunfield/latex-library000002024-02-12
camoy/trace-contract000002024-02-25
OCamlPro/alt-ergo000002023-11-15

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.