Skip to content

active 2023-09-192024-09-24 (UTC) · 8 repositories

Complete coverage26,539 / 26,539 hourly files (100%) · 2 absent upstream2023-08-152026-08-24 (UTC)
Events
113
Pushes
75
Pull requests
7
Issues
6
Reviews
0
Repositories
8

Activity over time

Daily event counts in the loaded window

Line chart, 372 days from 2023-09-19 to 2024-09-24. Pushes: 75 total, peak 25 in a day. Pull requests: 7 total, peak 3 in a day. Issues: 6 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
krr-up/flatland66506642024-08-27
cogsys-kep/answer-set-programming17170002023-09-25
krr-up/flatland-formalization-notes1081012024-09-24
cogsys-kep/asp000002023-09-19
cogsys-kep/queries000002023-09-19
cogsys-kep/ai-course000002023-10-02
krr-up/flatland-framework000002024-08-28
cogsys-kep/light-wise23-testing-kep000002023-12-10

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.