Skip to content

active 2024-03-05 → 2024-12-09 (UTC) · 14 repositories

Complete coverage27,378 / 27,378 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-09-28 (UTC)
Events
27
Pushes
14
Pull requests
3
Issues
2
Reviews
0
Repositories
14

Activity over time

Daily event counts in the loaded window

Line chart, 280 days from 2024-03-05 to 2024-12-09. Pushes: 14 total, peak 4 in a day. Pull requests: 3 total, peak 1 in a day. Issues: 2 total, peak 1 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
nextjournal/clerk602132024-07-16
AlexAti/garden550002024-11-28
reloj/core.logic330002024-03-25
AlexAti/dotemacs220002024-11-30
reloj/metaprob110002024-03-05
borkdude/edamame100102024-10-24
noprompt/garden101002024-11-28
reloj/dbKanren110002024-03-05
AlexAti/clerk110002024-07-09
reloj/clpsmt-miniKanren110002024-03-05
namin/eurisclo000002024-08-15
kach/memo000002024-07-11
hbrouwer/dfs-tools000002024-07-19
vivekjoshy/openskill.py000002024-12-09

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.