Skip to content
GitHub Explorer

ApollineRodary/Endive

View on GitHub ↗Related repositories →

A proof assistant for the Integrated Project (IP) computer science course at ENS de Lyon

active 2023-10-04 → 2024-09-10 (UTC)

Complete coverage27,999 / 27,999 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-24 (UTC)
Events
370
Pushes
183
Pull requests
55
Issues
43
Stars
4
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 343 days from 2023-10-04 to 2024-09-10. Pushes: 183 total, peak 64 in a day. Pull requests: 55 total, peak 14 in a day. Issues: 43 total, peak 10 in a day. Comments: 23 total, peak 5 in a day. Stars: 4 total, peak 1 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
1kjo1511002716
sSolal8339184
jcauvi442163
ApollineRodary221810
dede230610530

Recent activity

Latest issues, pull requests and releases

  • Pull request#581kjo2024-03-17 22:59
  • Pull request#581kjo2024-03-17 22:59
  • Pull request#56sSolal2024-03-17 22:36
  • Pull request#57sSolal2024-03-17 22:29
  • Pull request#52sSolal2024-03-17 22:24
  • Pull request#56sSolal2024-03-17 22:01
  • Pull request#551kjo2024-03-17 21:47
  • Pull request#551kjo2024-03-17 21:47
  • Issue#371kjo2024-03-17 19:39
    Endive playground
  • Pull request#531kjo2024-03-17 19:39
  • Pull request#471kjo2024-03-17 18:36
  • Pull request#511kjo2024-03-17 18:25
  • Pull request#54dede23062024-03-17 18:02
  • Pull request#54dede23062024-03-17 18:00
  • Pull request#50jcauvi2024-03-17 16:14
  • Pull request#53ApollineRodary2024-03-16 12:40
  • Issue comment#501kjo2024-03-16 11:52
    Tuto
  • Pull request#52sSolal2024-03-16 08:36
  • Pull request#511kjo2024-03-16 03:02
  • Issue comment#471kjo2024-03-15 23:38
    Side linting and nicer error colors
  • Issue comment#471kjo2024-03-15 12:18
    Side linting and nicer error colors
  • Pull request#491kjo2024-03-15 12:08
  • Pull request#50jcauvi2024-03-15 11:25
  • Pull request#491kjo2024-03-14 15:12
  • Pull request#451kjo2024-03-14 14:50

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