Skip to content
GitHub Explorer

sacerdot

View on GitHub ↗

active 2023-09-25 → 2026-07-05 (UTC) · 23 repositories

Complete coverage27,403 / 27,403 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-29 (UTC)
Events
224
Pushes
176
Pull requests
10
Issues
3
Reviews
0
Repositories
23

Activity over time

Daily event counts in the loaded window

Line chart, 1015 days from 2023-09-25 to 2026-07-05. Pushes: 176 total, peak 9 in a day. Pull requests: 10 total, peak 2 in a day. Issues: 3 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
sacerdot/lambdapi45450002026-07-05
sacerdot/matita-lean31310002024-09-24
sacerdot/PPA4Per20200002025-06-06
sacerdot/matita15150002025-04-22
BaviTriesCoding/test_tesi15150002026-06-30
nicolopizzo/lapis-rs13130002024-05-27
ocaml/opam-repository1003072023-10-04
sacerdot/QuadraticIntegers990002025-12-12
sacerdot/opam-repository770002023-10-04
Deducteam/lambdapi602042025-07-17
sacerdot/sesame550002024-02-19
EuroProofNet/europroofnet.github.io523002025-09-22
leanprover/lean4500322024-10-03
sacerdot/europroofnet.github.io550002025-09-22
sacerdot/RCAM440002026-02-27
Alidra/lambdapi330002026-06-24
theoremprover-museum/theoremprover-museum.github.io101002024-08-11
pitmonticone/QuadraticIntegers101002025-12-09
CraigFoote/ca.footeware.gnomeshell.serverstatus100012024-06-16
sacerdot/theoremprover-museum.github.io110002024-08-11
Lapis-Team/PartialToolbox110002026-04-29
sacerdot/MTTinAbella000002024-06-04
sacerdot/closure-conversion-machine000002025-05-30

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
fblanqui5
EuroProofNet/europroofnet.github.ioocaml/opam-repositoryDeducteam/lambdapiAlidra/lambdapi+1
Alidra4
sacerdot/lambdapiDeducteam/lambdapiEuroProofNet/europroofnet.github.ioAlidra/lambdapi
ejgallego3
leanprover/lean4ocaml/opam-repositoryDeducteam/lambdapi
rish9873
leanprover/lean4Deducteam/lambdapiEuroProofNet/europroofnet.github.io
01mf022
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
JasonGross2
leanprover/lean4ocaml/opam-repository
NotBad4U2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
RalfJung2
leanprover/lean4ocaml/opam-repository
SimonGuilloud2
ocaml/opam-repositoryEuroProofNet/europroofnet.github.io
TheoWinterhalter2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
amelieled2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
andrejbauer2
leanprover/lean4EuroProofNet/europroofnet.github.io
barras2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
bit-nick2
BaviTriesCoding/test_tesiLapis-Team/PartialToolbox
chetmurthy2
sacerdot/matitaocaml/opam-repository
ciaran-matthew-dunne2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
cjohnson192
leanprover/lean4ocaml/opam-repository
craff2
leanprover/lean4ocaml/opam-repository
ericluap2
leanprover/lean4sacerdot/QuadraticIntegers
foxyseta2
leanprover/lean4sacerdot/matita
kit-ty-kate2
ocaml/opam-repositoryDeducteam/lambdapi
melanie-taprogge2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
mtoohey312
leanprover/lean4ocaml/opam-repository
nicomarg2
Deducteam/lambdapiEuroProofNet/europroofnet.github.io
riccardobrasca2
leanprover/lean4sacerdot/QuadraticIntegers

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