Skip to content

active 2023-10-10 → 2024-10-28 (UTC) · 26 repositories

Complete coverage28,480 / 28,480 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-13 (UTC)
Events
267
Pushes
108
Pull requests
63
Issues
7
Reviews
0
Repositories
26

Activity over time

Daily event counts in the loaded window

Line chart, 385 days from 2023-10-10 to 2024-10-28. Pushes: 108 total, peak 14 in a day. Pull requests: 63 total, peak 18 in a day. Issues: 7 total, peak 2 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

RepositoryContributionsPushesPRsIssuesCommentsLast seen
bruderj15/Hasmtlib1658663792024-07-02
studJBccl/smtlib216160002024-05-17
studJBccl/wavefront550002024-05-06
studJBccl/wavefront-obj110002024-04-29
noinia/hgeometry000002024-05-17
jwaldmann/smtlib2000002024-04-29
hadronized/wavefront000002024-04-30
Bodigrim/bitvec000002024-05-30
Haskell-Things/ImplicitCAD000002024-04-04
tweag/smtlib-backends000002024-05-24
Yidadaa/ChatGPT-Next-Web000002023-10-13
hgoes/smtlib2000002024-04-16
SRI-CSL/yices2000002024-05-07
cvc5/cvc5000002024-05-17
kota65535/github-openvpn-connect-action000002023-10-25
iluwatar/java-design-patterns000002023-10-10
snowleopard/alga000002024-04-15
typedrat/wavefront-obj000002024-04-29
wandb/openui000002024-05-06
derkork/openscad-graph-editor000002024-04-05
jwaldmann/atto-lisp000002024-04-18
juhp/hkgr000002024-06-04
bruderj15/servant-hateoas000002024-10-28
haskell-CI/haskell-ci000002024-06-04
dreal/dreal4000002024-05-07
SwiftsNamesake/3DWaves000002024-04-29

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

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