Skip to content

algebraic-sofia

View on GitHub ↗

active 2023-08-152024-07-02 (UTC) · 163 repositories

Partial coverage20,513 / 26,269 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-152026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
723
Pushes
389
Pull requests
124
Issues
56
Reviews
19
Repositories
163

Activity over time

Daily event counts in the loaded window

Line chart, 323 days from 2023-08-15 to 2024-07-02. Pushes: 389 total, peak 39 in a day. Pull requests: 124 total, peak 20 in a day. Issues: 56 total, peak 11 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-compiler28715111211132023-10-04
lang-vulpi/vulpi391622102023-11-25
cartesi/dave24300102024-01-24
axiomed/Parse.lean21210002024-06-28
aripiprazole/rinha16160002023-08-23
axiomed/Http.lean14130012024-07-02
algebraic-sofia/ash13130002023-08-22
meoowers/ash1284002023-09-12
lurasidone/algebraic.dev1182102023-08-30
algebraic-sofia/vulpi1030702023-10-28
algebraic-sofia/algebraic.dev10100002024-02-29
algebraic-sofia/voxelia840022024-06-02
axiomed/CaseInsensitive.lean751102024-06-04
axiomed/Time.lean770002024-06-26
LunaAmora/Atiny722102023-08-16
aripiprazole/pgsql770002023-08-22
algebraic-sofia/cyber.space660002024-01-06
algebraic-sofia/galop440002023-10-03
axiomed/Cats.lean440002024-01-27
axiomed/Specs.lean410012024-01-27
meoowers/rinha321002023-12-13
giancarlopro/rinha-de-compiler300212023-09-24
algebraic-sofia/algebraic-sofia330002024-06-28
brunokim/rinha-de-compiler330002023-09-22
algebraic-sofia/cartesi220002023-12-09
algebraic-sofia/lina220002023-08-22
algebraic-sofia/emulator-tests220002024-01-21
algebraic-sofia/requests220002023-12-08
algebraic-sofia/melp220002023-08-21
axiomed/Colorized.lean220002024-05-31
coproduto/rinha-zig200202023-09-28
imaqtkatt/purpura200002023-08-16
ErnaneJ/go-interpreter-rinha200202023-10-08
aripiprazole/rinha-de-backend-2023-q3220002023-08-23
D4yvid/compiler-rinha200202023-10-08
algebraic-sofia/machine-emulator-tools220002024-02-23
vulpi-lang/vulpi220002023-08-18
algebraic-sofia/salem110002023-12-26
pandaman64/lean-regex100012024-03-31
axiomed/DHashMap.lean110002024-06-04
astahjmo/rinha-de-compiler110002023-09-07
orvituhgo/rinha-de-compiler110002023-09-16
aripiprazole/soft110002023-11-05
olordecoelho/rinha-de-compiladores100102023-09-24
balmanth/rinha-de-compiler110002023-09-15
migfernandes01/rinha-de-compiler110002023-09-23
rcovery/rinha-de-compiler-1110002023-09-16
lrlucena/rinha-de-compiler-scala110002023-09-08
hnrbs/rinha-de-compiler110002023-09-07
Acnologla/asura100012023-12-28

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
aripiprazole6
samueldurantes5
HMaker3
RosaUlisses3
chuwy3
dlopes73
hnrbs3
rodrigocam3
Edmar-Sousa2
Edu0liver2
ErnaneJ2
FerreiraWalter2
GCdePaula2
Lamadelrae2
Losty172
MTRecouso2
Mth-Ryan2
PedroFnseca2
RafaDRF2
RalphVita2
VetusScientia2
ZyllDev2
adilsxn2
aleffmoura2
andrecoelhoa2

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