Skip to content

algebraic-sofia

View on GitHub ↗

active 2023-08-15 → 2024-07-05 (UTC) · 208 repositories

Complete coverage27,358 / 27,358 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-27 (UTC)
Events
1.1K
Pushes
566
Pull requests
177
Issues
82
Reviews
33
Repositories
208

Activity over time

Daily event counts in the loaded window

Line chart, 326 days from 2023-08-15 to 2024-07-05. Pushes: 566 total, peak 51 in a day. Pull requests: 177 total, peak 20 in a day. Issues: 82 total, peak 13 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
aripiprazole/rinha-de-compiler38320714414182023-10-04
lang-vulpi/vulpi682263902024-01-29
cartesi/dave582060142024-03-18
axiomed/Http.lean33241152024-07-02
axiomed/Parse.lean33330002024-06-28
algebraic-sofia/ash19190002023-08-22
aripiprazole/rinha19190002023-08-23
lurasidone/algebraic.dev16123102023-09-04
axiomed/Specs.lean14100112024-01-27
algebraic-sofia/voxelia1481022024-06-02
meoowers/ash1284002023-09-12
algebraic-sofia/vulpi1030702023-10-28
axiomed/Time.lean10100002024-06-26
algebraic-sofia/algebraic.dev10100002024-02-29
algebraic-sofia/cyber.space990002024-01-06
aripiprazole/pgsql990002023-08-22
axiomed/CaseInsensitive.lean751102024-06-04
algebraic-sofia/galop770002023-10-03
pandaman64/lean-regex702232024-05-14
LunaAmora/Atiny722102023-08-16
algebraic-sofia/emulator-tests660002024-01-22
algebraic-sofia/melp630032023-12-14
algebraic-sofia/machine-emulator-tools660002024-02-23
algebraic-sofia/lina550002023-08-22
axiomed/Cats.lean550002024-01-27
meoowers/rinha532002023-12-13
algebraic-sofia/lean-regex550002024-04-01
algebraic-sofia/soda440002023-12-08
cartesi/machine-emulator-tools301012024-02-06
algebraic-sofia/algebraic-sofia330002024-06-28
imaqtkatt/purpura310002023-09-18
brunokim/rinha-de-compiler330002023-09-22
giancarlopro/rinha-de-compiler300212023-09-24
algebraic-sofia/cartesi220002023-12-09
axiomed/Colorized.lean220002024-05-31
algebraic-sofia/requests220002023-12-08
algebraic-sofia/lean-libuv220002024-05-08
D4yvid/compiler-rinha200202023-10-08
HigherOrderCO/Kind202002023-12-14
dlopes7/rinha-de-compiler220002023-09-11
cartesi/rollups-contracts200002024-01-29
aripiprazole/rinha-de-backend-2023-q3220002023-08-23
coproduto/rinha-zig200202023-09-28
vulpi-lang/vulpi220002023-08-18
ErnaneJ/go-interpreter-rinha200202023-10-08
joehendrix/lean-libuv101002024-05-07
algebraic-sofia/salem110002023-12-26
axiomed/DHashMap.lean110002024-06-04
aripiprazole/soft110002023-12-14
aripiprazole/lura101002023-11-14

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
aripiprazole9
samueldurantes6
chuwy4
GCdePaula3
HMaker3
RosaUlisses3
dlopes73
edusporto3
endersonmaia3
hnrbs3
mpolitzer3
rodrigocam3
tuler3
D4yvid2
DevDaaniel2
Edmar-Sousa2
Edu0liver2
ErnaneJ2
FerreiraWalter2
Lamadelrae2
Lorenzobattistela2
Losty172
MTRecouso2
Mth-Ryan2
PedroFnseca2

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