Skip to content

active 2023-08-17 → 2024-04-08 (UTC) · 35 repositories

Complete coverage27,933 / 27,933 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-21 (UTC)
Events
422
Pushes
100
Pull requests
26
Issues
30
Reviews
71
Repositories
35

Activity over time

Daily event counts in the loaded window

Line chart, 236 days from 2023-08-17 to 2024-04-08. Pushes: 100 total, peak 6 in a day. Pull requests: 26 total, peak 3 in a day. Issues: 30 total, peak 2 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
cvc5/cvc51571170762024-03-18
vleni/cvc563630002024-03-19
leanprover/lean431034192024-03-30
vleni/lean416160002024-04-08
rust-cli/rexpect1201192024-03-01
nix-community/crate2nix1101172023-11-08
nix-community/poetry2nix1000552024-03-23
AdrienChampion/hashconsing1001272023-12-02
vleni/rexpect990002024-03-03
capnproto/pycapnp500322023-10-02
vleni/Pantograph440002024-04-01
vleni/crate2nix440002023-10-24
rust-lang/rust300212023-08-26
tweag/jupyenv300212023-10-29
ipetkov/crane300212024-03-23
sebastiencs/shared-arena201102023-10-12
rkyv/rkyv101002024-03-10
vleni/doomemacs110002023-09-17
vleni/cvc5tools110002023-09-28
doomemacs/doomemacs101002023-09-17
vleni/hashconsing110002023-09-26
karlicoss/orgparse100102023-09-12
hyprwm/hyprpaper100012023-09-20
gifnksm/union-find-rs100102023-11-05
rust-lang/rust-bindgen100102024-03-05
capnproto/capnproto-rust100102023-11-30
WillPower3309/swayfx100102023-09-20
oxalica/rust-overlay100102023-11-08
OndrejSlamecka/Capnp.jl100102023-10-11
vleni/shared-arena000002023-10-12
gergo-salyi/multibg-sway000002023-09-20
leanprover/std4000002023-08-30
numtide/nixos-anywhere000002023-08-20
vleni/rkyv000002024-03-01
lurk-lab/LSpec000002023-10-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

ContributorShared reposRepositories in common
lenianiva7
9999years4
Fuuzetsu4
RalfJung4
grahamc4
j-baker4
sellout4
tv424
CertainLach3
CobaltCause3
DanielEScherzer3
Ericson23143
Gelbpunkt3
K9003
LegNeato3
MarijnS953
Nadrieril3
Nemo1573
P-E-Meunier3
Pandapip13
RossSmyth3
TheNeikos3
TroyKomodo3
andrewbaxter3
bjorn33

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