Skip to content
GitHub Explorer

dariusf/program-logics

View on GitHub ↗Related repositories →

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

active 2024-05-15 → 2024-09-09 (UTC)

Partial coverage15,844 / 19,679 hourly files (81%) · 2 absent upstream · 3,834 failed, retryable2024-05-14 → 2026-08-11 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
27
Pushes
26
Pull requests
0
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 118 days from 2024-05-15 to 2024-09-09. Pushes: 26 total, peak 4 in a day. Pull requests: 0 total, peak 0 in a day. Issues: 0 total, peak 0 in a day. Comments: 0 total, peak 0 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
github-actions[bot]191900
dariusf7700

Recent activity

Latest issues, pull requests and releases

No issue or PR events — this repo's activity is pushes only.

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.