Skip to content
GitHub Explorer

AlecShannon

View on GitHub ↗

active 2023-11-15 → 2024-08-01 (UTC) · 27 repositories

Complete coverage27,327 / 27,327 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-26 (UTC)
Events
30
Pushes
4
Pull requests
0
Issues
0
Reviews
0
Repositories
27

Activity over time

Daily event counts in the loaded window

Line chart, 261 days from 2023-11-15 to 2024-08-01. Pushes: 4 total, peak 2 in a day. Pull requests: 0 total, peak 0 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
Dan45RS/alien-temple440002023-11-29
seL4/l4v000002024-08-01
openscriptures/openscriptures000002024-04-11
jserv/nstack000002024-07-07
NixOS/nix000002024-02-20
redox-os/redox000002024-02-17
seL4/seL4000002024-02-17
swaywm/sway000002024-02-09
WayfireWM/wayfire000002024-04-01
xmonad/xmonad000002024-02-17
neovim/neovim000002024-03-26
leanprover/lean4000002024-02-07
leanprover/lean2000002024-03-23
sagemath/sage000002024-02-21
torvalds/linux000002024-02-18
F-Stack/f-stack000002024-07-07
Mesa3D/mesa000002024-02-20
HoTT/Coq-HoTT000002024-03-23
coq/coq000002024-03-23
HigherOrderCO/Kind000002024-02-07
HigherOrderCO/HVM000002024-03-23
rust-lang/rust000002024-03-26
godotengine/godot000002024-02-07
bulletphysics/bullet3000002024-02-13
VictorTaelin/Interaction-Calculus000002024-02-07
leanprover-community/mathlib4000002024-02-25
lua/lua000002024-03-26

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
Dan45RS1
Dan45RS/alien-temple
EdwinF131
Dan45RS/alien-temple
zayanaly1
Dan45RS/alien-temple

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