Skip to content

NeuralNetworkVerification/Marabou

View on GitHub ↗Related repositories →

Neural Network Verification Tool

active 2023-08-18 → 2026-09-17 (UTC)

Complete coverage27,581 / 27,581 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-07 (UTC)
Events
1.7K
Pushes
121
Pull requests
233
Issues
200
Stars
101
Forks
29

Activity over time

Daily event counts in the loaded window

Line chart, 1127 days from 2023-08-18 to 2026-09-17. Pushes: 121 total, peak 14 in a day. Pull requests: 233 total, peak 13 in a day. Issues: 200 total, peak 26 in a day. Comments: 578 total, peak 28 in a day. Stars: 101 total, peak 3 in a day.

  • Pushes
  • Pull requests
  • Issues
  • Comments
  • Stars

Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.

Top contributors

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

ContributorContributionsPushesPRsComments
wu-haoze54259100206
MatthewDaggitt2413526113
idan061010851440
guykatzz730040
dependabot[bot]6334416
tagomaru565623
wenkokke394915
omriisack288102
OmriIsacHUJI23059
SuryaB1170011
paulsushmita14009
liamjdavis14018
yizhake12004
YourSaDady10006
chenyi108005
progirep7015
ytsao7005
R-Peleg7024
huangdiudiu6003
ido-shm-uel6060

Recent activity

Latest issues, pull requests and releases

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