Skip to content

active 2025-03-292026-05-10 (UTC) · 98 repositories

Partial coverage11,294 / 12,108 hourly files (93%) · 2 absent upstream · 812 failed, retryable2025-03-242026-08-10 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
354
Pushes
95
Pull requests
29
Issues
30
Reviews
14
Repositories
98

Activity over time

Daily event counts in the loaded window

Line chart, 408 days from 2025-03-29 to 2026-05-10. Pushes: 95 total, peak 9 in a day. Pull requests: 29 total, peak 4 in a day. Issues: 30 total, peak 3 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 · top 50

RepositoryContributionsPushesPRsIssuesCommentsLast seen
tlaplus/vscode-tlaplus5713105202026-04-18
younes-io/vscode-tlaplus32320002026-03-08
younes-io/agent-skills18125012026-04-02
younes-io/tlaplus12120002026-04-06
tlaplus/tlaplus1203062026-02-20
younes-io/packages-mqi1091002025-04-13
Fabien-Chouteau/strategy903142025-06-02
younes-io/tlaplus-workbench-examples532002026-04-02
openai/codex501042026-02-08
younes-io/strategy440002025-11-23
younes-io/tla330002025-11-21
Replicable-MARL/MARLlib300212025-05-18
code-yeongyu/oh-my-openagent300212026-04-06
anthropics/claude-code300122026-02-17
s-arash/ascent200202025-04-20
SWI-Prolog/swipl-devel200112025-05-21
JuliaPluto/Pluto.jl200012026-02-16
TabbyML/tabby200202025-06-02
wesm/agentsview200112026-04-03
leanprover/lean4200202026-05-03
Aider-AI/aider200112025-05-31
terrastruct/d2200202025-05-24
younes-io/strategy-1110002025-06-02
AdaCore/aws101002025-05-31
Kobzol/cargo-wizard101002026-04-12
younes-io/awesome-tlaplus110002026-02-28
badlogic/pi-mono100102026-04-27
younes-io/pi-port110002026-04-08
younes-io/Pluto.jl110002026-02-04
SWI-Prolog/packages-mqi101002025-04-13
younes-io/zero-to-qed110002026-04-01
steipete/CodexBar100102026-02-09
tau-prolog/tau-prolog100012025-04-12
github/spec-kit100012026-03-19
nats-io/nats-server100012026-03-29
younes-io/younes-io110002025-05-03
mthom/scryer-prolog100012025-04-12
terminusdb-labs/swipl-rs100102025-04-12
obra/superpowers100102026-04-19
younes-io/resonate110002026-04-03
Abraxas-365/langchain-rust100102025-06-03
AdaCore/learn100102025-05-24
docker/roadmap100102025-04-27
opencode-ai/opencode100012025-06-05
tikv/tikv101002026-04-04
marimo-team/marimo100102025-04-27
PyO3/pyo3000002025-04-12
AdaCore/training_material000002025-05-18
younes-io/aws000002025-05-31
p-org/P000002026-02-15

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
Copilot15
m13v7
mvanhorn6
holysheep1235
Astro-Han4
PierrunoYT4
ben-vargas4
cavanaug4
douglascamata4
dvic4
frangio4
gwpl4
kierr4
michabbb4
orbisai0security4
steipete4
tekumara4
yordis4
yu-iskw4
04cb3
Adamcf1233
AiGentsy3
AnthonyRonning3
Bad3r3
CLAassistant3

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