Skip to content
GitHub Explorer

semaraugusto

View on GitHub ↗

active 2023-08-31 → 2026-09-01 (UTC) · 46 repositories

Complete coverage26,752 / 26,752 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-02 (UTC)
Events
252
Pushes
192
Pull requests
6
Issues
2
Reviews
0
Repositories
46

Activity over time

Daily event counts in the loaded window

Line chart, 1098 days from 2023-08-31 to 2026-09-01. Pushes: 192 total, peak 12 in a day. Pull requests: 6 total, peak 2 in a day. Issues: 2 total, peak 1 in a day.

  • Pushes
  • Pull requests
  • Issues

Pull requests and issues are under-captured in the later part of this window. GH Archive progressively stopped recording non-push events during 2026 — −95% or worse by the end of the window. A decline in those two series reflects the archive rather than this account. Pushes stay reliable throughout, so read them as the real signal. Data health has the measurements.

Repositories worked on

Ranked by contributions — pushes, PRs, issues, reviews and comments, so stars and forks do not inflate the list

RepositoryContributionsPushesPRsIssuesCommentsLast seen
semaraugusto/mobilenet-nova39390002023-12-24
semaraugusto/zmk-config-corne-xiao-choc28280002026-05-09
semaraugusto/optimism23230002024-07-14
semaraugusto/rust-cross16160002024-05-27
semaraugusto/asterisc11110002024-06-10
semaraugusto/curve25519-dalek-lean-verify990002026-05-17
ZKForAll/mathlib4990002026-02-19
semaraugusto/mlgo880002024-03-20
semaraugusto/unicorn-test880002024-05-06
Beneficial-AI-Foundation/KeyedVerificationAnonymousCredential-model770002026-07-29
semaraugusto/Adv360-Pro-ZMK550002024-07-03
semaraugusto/spqr-test550002026-05-19
ChristianoBraga/clean541002025-09-23
semaraugusto/sp1440002024-06-06
semaraugusto/circomlib-ml440002023-11-25
Beneficial-AI-Foundation/curve25519-dalek-lean-verify310022026-05-29
Beneficial-AI-Foundation/probe-aeneas220002026-05-18
huggingface/tokenizers201102024-04-23
leanprover-community/mathlib4200022026-02-19
semaraugusto/tmp220002026-06-13
ggerganov/llama.cpp200022024-03-22
Verified-zkEVM/clean202002025-09-07
socathie/circomlib-ml101002023-11-25
semaraugusto/zkhack-hidden-in-plain-sight110002023-10-13
semaraugusto/lean-bench-scripts110002026-05-19
semaraugusto/kickstart.nvim110002024-03-05
semaraugusto/rust110002024-05-15
Beneficial-AI-Foundation/probe-rust100102026-08-12
Beneficial-AI-Foundation/curve25519-dalek-u32100012026-09-01
semaraugusto/tokenizers110002024-04-23
noir-lang/noir-nvim101002025-08-07
ZKForAll/formal-verification-for-web3110002026-03-18
ZKForAll/PoL110002026-02-09
succinctlabs/rust000002024-05-02
Beneficial-AI-Foundation/probe-lean000002026-05-07
manna-harbour/miryoku_zmk000002024-11-21
ethereum-optimism/optimism000002024-06-17
ethereum-optimism/asterisc000002024-05-30
ethereum-optimism/kona000002024-06-11
semaraugusto/monkey_interpreter_ocaml000002023-08-31
semaraugusto/zk-resnet000002023-10-26
abrander/gguf000002024-03-08
whosdev/zmk-config-corne-xiao-choc000002024-11-22
Koukyosyumei/PoL000002026-02-09
OPML-Labs/mlgo000002024-02-22
succinctlabs/sp1000002024-05-02

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
ChristianoBraga5
ZKForAll/formal-verification-for-web3ChristianoBraga/cleanBeneficial-AI-Foundation/KeyedVerificationAnonymousCredential-modelBeneficial-AI-Foundation/curve25519-dalek-lean-verify+1
astefano3
Beneficial-AI-Foundation/probe-aeneasBeneficial-AI-Foundation/curve25519-dalek-lean-verifyBeneficial-AI-Foundation/probe-rust
oliver-butterley3
leanprover-community/mathlib4Beneficial-AI-Foundation/probe-aeneasBeneficial-AI-Foundation/curve25519-dalek-lean-verify
0xDEADFED52
huggingface/tokenizersggerganov/llama.cpp
152334H2
huggingface/tokenizersggerganov/llama.cpp
ArthurZucker2
huggingface/tokenizersggerganov/llama.cpp
AsakusaRinne2
huggingface/tokenizersggerganov/llama.cpp
BBC-Esq2
huggingface/tokenizersggerganov/llama.cpp
DOGEwbx2
huggingface/tokenizersggerganov/llama.cpp
EricLBuehler2
huggingface/tokenizersggerganov/llama.cpp
Jipok2
huggingface/tokenizersggerganov/llama.cpp
Kreijstal2
huggingface/tokenizersggerganov/llama.cpp
MohamedAliRashad2
huggingface/tokenizersggerganov/llama.cpp
Narsil2
huggingface/tokenizersggerganov/llama.cpp
QwertyJack2
huggingface/tokenizersggerganov/llama.cpp
RichardErkhov2
huggingface/tokenizersggerganov/llama.cpp
TheBloke2
huggingface/tokenizersggerganov/llama.cpp
WenheLI2
huggingface/tokenizersggerganov/llama.cpp
WilliamTambellini2
huggingface/tokenizersggerganov/llama.cpp
XC0R2
leanprover-community/mathlib4Verified-zkEVM/clean
alok2
leanprover-community/mathlib4Beneficial-AI-Foundation/curve25519-dalek-lean-verify
bionicles2
huggingface/tokenizersggerganov/llama.cpp
casavaca2
leanprover-community/mathlib4ggerganov/llama.cpp
cebtenzzre2
huggingface/tokenizersggerganov/llama.cpp
cheburakshu2
huggingface/tokenizersggerganov/llama.cpp

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