Skip to content

Th0github/Elm-Kripke-Visualization

View on GitHub ↗Related repositories →

active 2024-05-302024-06-02 (UTC)

Complete coverage26,504 / 26,504 hourly files (100%) · 2 absent upstream2023-08-152026-08-23 (UTC)
Events
86
Pushes
36
Pull requests
29
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 4 days from 2024-05-30 to 2024-06-02. Pushes: 36 total, peak 32 in a day. Pull requests: 29 total, peak 25 in a day. Issues: 0 total, peak 0 in a day. Comments: 1 total, peak 1 in a day. Stars: 0 total, peak 0 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Top contributors

Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity

ContributorContributionsPushesPRsComments
Th0github3316170
haraldurbjarni2414100
CUniversityaccount7511
mrdijk2110

Recent activity

Latest issues, pull requests and releases

  • Pull request#20Th0github2024-06-02 15:44
  • Pull request#20Th0github2024-06-02 15:44
  • Pull request#19Th0github2024-06-02 12:47
  • Pull request#19Th0github2024-06-02 12:46
  • Pull request#18haraldurbjarni2024-05-30 20:35
  • Pull request#18haraldurbjarni2024-05-30 20:35
  • Pull request#17haraldurbjarni2024-05-30 18:47
  • Pull request#17haraldurbjarni2024-05-30 18:47
  • Pull request#16Th0github2024-05-30 18:34
  • Pull request#16Th0github2024-05-30 18:33
  • Pull request#14haraldurbjarni2024-05-30 17:17
  • Pull request#15Th0github2024-05-30 17:12
  • Pull request#15Th0github2024-05-30 17:10
  • Pull request#14haraldurbjarni2024-05-30 17:10
  • Pull request#13Th0github2024-05-30 16:56
  • Pull request#13mrdijk2024-05-30 16:41
  • Pull request#12Th0github2024-05-30 16:39
  • Pull request#12Th0github2024-05-30 16:07
  • Pull request#11Th0github2024-05-30 16:06
  • Pull request#11haraldurbjarni2024-05-30 15:40
  • Pull request#10Th0github2024-05-30 14:56
  • Pull request#10CUniversityaccount2024-05-30 14:07
  • Pull request#8Th0github2024-05-30 13:39
  • Issue comment#8CUniversityaccount2024-05-30 13:39
    Modified help toggle button and added markdown pages.
  • Pull request#9haraldurbjarni2024-05-30 13:07

Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.