Skip to content

active 2023-12-15 → 2026-09-07 (UTC) · 44 repositories

Complete coverage27,316 / 27,316 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-26 (UTC)
Events
718
Pushes
409
Pull requests
58
Issues
15
Reviews
38
Repositories
44

Activity over time

Daily event counts in the loaded window

Line chart, 998 days from 2023-12-15 to 2026-09-07. Pushes: 417 total, peak 20 in a day. Pull requests: 58 total, peak 2 in a day. Issues: 15 total, peak 2 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
Alidra/lambdapi2792790002026-09-07
Deducteam/lambdapi17444414792026-02-03
Alidra/opam-lambdapi-repository31310002026-05-22
Alidra/coq-hol-light-real-with-N17170002025-12-02
sacerdot/lambdapi14140002026-06-30
Alidra/linguist11110002025-10-23
Alidra/coq-lsp880002024-11-12
github-linguist/linguist704022026-01-08
Alidra/hol2dk660002025-01-16
Alidra/CoqInE660002025-02-20
Alidra/coq-hol-light660002026-03-02
Deducteam/Dedukti602022025-04-28
Deducteam/coq-hol-light-real-with-N400022025-11-24
Deducteam/CoqInE312002025-02-20
EuroProofNet/europroofnet.github.io302102024-04-08
Alidra/europroofnet.github.io330002024-04-08
Deducteam/coq-hol-light330002026-02-23
Alidra/Dedukti220002025-04-28
Alidra/rocq-hollight220002026-04-17
ejgallego/coq-lsp201012024-05-23
Alidra/vsrocq220002025-06-05
Alidra/dreamServer220002025-06-25
Alidra/XML-pretty-print-pre-commit-hook220002023-12-15
Deducteam/sublime-lambdapi220002025-09-11
Alidra/Tuto_Ocaml_Functors110002024-07-08
Alidra/lambdapi_grammar110002025-09-11
EclipseFdn/publish-extensions101002024-12-10
rocq-prover/vsrocq101002025-05-27
Alidra/coq-nix-toolbox110002025-11-26
Alidra/testy110002025-11-26
fblanqui/lambdapi-stdlib110002025-11-26
Alidra/StarExec-ARC110002025-06-12
Alidra/publish-extensions110002024-12-10
rocq-community/coq-nix-toolbox101002025-11-26
fblanqui/Dedukti110002025-04-28
Alidra/Hol_multivalue000002024-12-24
Deducteam/lambdapi-stdlib000002025-11-26
rtetley/socca-lsp000002025-06-04
MetaRocq/metarocq000002025-07-18
Alidra/predicativize000002026-06-17
pre-commit/pre-commit-hooks000002023-12-15
Alidra/Tuto_colorationsyntaxique000002025-09-05
rocq-prover/rocq000002025-06-04
StarExecMiami/StarExec-ARC000002025-06-12

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
fblanqui11
TheoWinterhalter5
sacerdot4
Zimmi483
agontard3
amelieled3
barras3
gares3
proux013
01mf022
4ever22
Blaisorblade2
Durbatuluk17012
GuillaumeGen2
JeremyDubut2
NotBad4U2
SkySkimmer2
aarneranta2
afdw2
arthuraa2
brando902
ciaran-matthew-dunne2
claymcleod2
cpitclaudel2
dhalilov2

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