The Vampire Theorem Prover
active 2023-08-15 → 2026-08-24 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 1106 days from 2023-08-15 to 2026-08-24. Pushes: 2,792 total, peak 38 in a day. Pull requests: 397 total, peak 8 in a day. Issues: 93 total, peak 6 in a day. Comments: 1,710 total, peak 35 in a day. Stars: 135 total, peak 4 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
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| quickbeam123 | 1.6K | 794 | 131 | 397 |
| MichaelRawson | 1.6K | 370 | 175 | 624 |
| mezpusz | 1.3K | 805 | 40 | 257 |
| joe-hauns | 823 | 502 | 23 | 157 |
| hzzv | 179 | 58 | 4 | 69 |
| JakobR | 83 | 45 | 0 | 24 |
| RobCoutel | 70 | 30 | 1 | 21 |
| daneshvar-amrollahi | 61 | 57 | 0 | 2 |
| hetzenmat | 49 | 32 | 3 | 9 |
| barracuda156 | 40 | 0 | 1 | 36 |
| i-am-a-teapot | 33 | 32 | 0 | 1 |
| ibnyusuf | 26 | 4 | 1 | 15 |
| inpefess | 18 | 0 | 3 | 10 |
| easychair | 18 | 0 | 1 | 16 |
| kazarmy | 15 | 0 | 6 | 7 |
| kharus | 15 | 0 | 3 | 9 |
| apease | 10 | 6 | 0 | 4 |
| mbalfakeih | 8 | 0 | 0 | 6 |
| Angular-Angel | 8 | 0 | 0 | 7 |
| ustas137 | 5 | 0 | 0 | 4 |
Recent activity
Latest issues, pull requests and releases
- Issue comment#880mezpusz2026-08-24 14:29Optimization: Share opposite-polarity literals in clause code trees
- Pull request#864joe-hauns2026-06-22 09:49
- Issue comment#849easychair2026-05-10 17:13Skolemization format update
- Issue comment#845quickbeam1232026-04-22 07:26cleanup Multiprocessing API
- Pull request#838mezpusz2026-04-20 10:53
- Pull request#836mezpusz2026-04-15 08:36
- Issue#551MichaelRawson2026-03-25 14:38Reimplement Lib/Set.hpp as a wrapper of std::unordered_set
- Issue comment#551MichaelRawson2026-03-25 14:38Reimplement Lib/Set.hpp as a wrapper of std::unordered_set
- Issue#823mezpusz2026-03-14 13:17Sort unification is not done for two variable equalities
- Pull request#818quickbeam1232026-03-13 14:16
- Issue comment#820MichaelRawson2026-03-12 08:11Update python scripts & small bugfixes
- Issue comment#820MichaelRawson2026-03-12 07:52Update python scripts & small bugfixes
- Pull request#819mezpusz2026-03-11 18:23
- Pull request#812quickbeam1232026-03-06 11:22
- Pull request#815quickbeam1232026-02-28 19:19
- Pull request#815quickbeam1232026-02-28 19:19
- Issue comment#813mezpusz2026-02-28 13:56actually find SAT duplicate literals and tautologies
- Issue comment#813mezpusz2026-02-27 06:32actually find SAT duplicate literals and tautologies
- Issue comment#813mezpusz2026-02-26 08:53actually find SAT duplicate literals and tautologies
- Issue comment#813mezpusz2026-02-26 08:47actually find SAT duplicate literals and tautologies
- Pull request#808jackeown2026-02-15 19:23
- Pull request#807quickbeam1232026-01-27 11:46
- Issue comment#806hetzenmat2026-01-26 18:58Add ToPlaceholders TermTransformer
- Issue comment#683mezpusz2026-01-24 17:16Refactor code tree matchers
- Issue comment#683mezpusz2026-01-21 20:06Refactor code tree matchers
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 135 stars here means stars gained during the window, not the repo's star count.