Skip to content
GitHub Explorer

aricursion

View on GitHub ↗

active 2024-01-23 → 2025-03-17 (UTC) · 31 repositories

Complete coverage28,464 / 28,464 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-12 (UTC)
Events
252
Pushes
192
Pull requests
9
Issues
9
Reviews
0
Repositories
31

Activity over time

Daily event counts in the loaded window

Line chart, 420 days from 2024-01-23 to 2025-03-17. Pushes: 192 total, peak 16 in a day. Pull requests: 9 total, peak 3 in a day. Issues: 9 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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
aricursion/splits53512002025-02-04
aricursion/CompileBPV34331002024-05-11
aricursion/splitting_research29290002025-02-04
jreeves3/cadical-units14131002024-07-23
aricursion/cadical-lits12120002024-09-05
aricursion/drat_split11110002025-03-17
robsimmons/abbot1001362024-10-22
jonsterling/agda-calf10100002024-06-20
aricursion/aricursion.github.io880002024-12-06
aricursion/dotfiles770002024-12-29
aricursion/cadical-lit-count660002024-07-29
GothenburgBitFactory/taskchampion503022025-01-06
aricursion/abbot440002024-12-22
lalrpop/lalrpop400222025-01-06
dracula/vim300122024-07-22
aricursion/taskchampion330002024-12-21
GothenburgBitFactory/taskwarrior200112024-12-28
HarrisonGrodin/ATPL24211002024-04-11
aricursion/unit_siphon220002024-03-30
aricursion/personal_website110002025-03-09
rust-lang/rustfmt100102024-03-16
mtshiba/pylyzer100102024-03-08
aricursion/taskwarrior110002025-01-13
maciejhirsz/logos100012024-12-12
aricursion/unit-siphon000002024-03-30
crgordon0/LusinNovikovLean000002024-04-11
arminbiere/cadical000002024-07-01
ghostty-org/ghostty000002024-12-27
AndrewRadev/undoquit.vim000002024-04-20
T-Brick/c0deine000002024-02-03
aricursion/MaxCDCL-lits000002024-07-30

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
djmitche3
GothenburgBitFactory/taskchampionGothenburgBitFactory/taskwarriorrust-lang/rustfmt
414owen2
maciejhirsz/logoslalrpop/lalrpop
52252252
maciejhirsz/logosrust-lang/rustfmt
A4-Tacks2
rust-lang/rustfmtlalrpop/lalrpop
EULIR2
HarrisonGrodin/ATPL24jonsterling/agda-calf
HarrisonGrodin2
HarrisonGrodin/ATPL24jonsterling/agda-calf
InfiniteCoder012
maciejhirsz/logoslalrpop/lalrpop
JohanVonElectrum2
maciejhirsz/logoslalrpop/lalrpop
JonathanBrouwer2
rust-lang/rustfmtlalrpop/lalrpop
LecrisUT2
maciejhirsz/logosGothenburgBitFactory/taskwarrior
Necior2
GothenburgBitFactory/taskchampionGothenburgBitFactory/taskwarrior
Pat-Lafon2
maciejhirsz/logoslalrpop/lalrpop
QuantumBJump2
GothenburgBitFactory/taskchampionGothenburgBitFactory/taskwarrior
QuarticCat2
rust-lang/rustfmtlalrpop/lalrpop
RustyYato2
maciejhirsz/logosrust-lang/rustfmt
Scandiravian2
GothenburgBitFactory/taskchampionGothenburgBitFactory/taskwarrior
abhillman2
maciejhirsz/logoslalrpop/lalrpop
abiriadev2
maciejhirsz/logoslalrpop/lalrpop
airstrike2
rust-lang/rustfmtlalrpop/lalrpop
asomers2
rust-lang/rustfmtlalrpop/lalrpop
aspizu2
rust-lang/rustfmtlalrpop/lalrpop
axelkar2
maciejhirsz/logosrust-lang/rustfmt
bend-n2
maciejhirsz/logosrust-lang/rustfmt
bpeetz2
GothenburgBitFactory/taskchampionGothenburgBitFactory/taskwarrior
buzzers2
maciejhirsz/logoslalrpop/lalrpop

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