GitHub Analytics
GitHub Analytics
Battle
Trending
Toggle language
Toggle theme
Back to Search
vprover
/
vampire
Public
The Vampire Theorem Prover
Other
Updated Feb 5, 2026
Created Mar 24, 2014
View on GitHub
392
stars
66
forks
21
watchers
34
open issues
View on GitHub
Languages
Codebase composition by bytes
Top Contributors
KR
krycz
1302 commits
QU
quickbeam123
814 commits
JO
joe-hauns
740 commits
JA
JakobR
638 commits
MI
MichaelRawson
627 commits
ME
mezpusz
603 commits
AZ
aztek
392 commits
IB
ibnyusuf
351 commits
SE
selig
242 commits
EA
easychair
120 commits
Recent Stargazers
C-
c-cube
about 8 years ago
OS
oscaronactual
about 8 years ago
DG
dgryski
about 8 years ago
DE
denji
about 8 years ago
DE
deltaclock
about 8 years ago
KI
kisom
about 8 years ago
2B
2bbb
about 8 years ago
SI
simonracz
about 8 years ago
PE
pennyan
about 8 years ago
SP
Spacial
about 8 years ago
Repository Complexity
Approximate file count and repository size.
Files
-
Size (KB)
41,869
Issues & Activity
Open vs closed issues and recent activity peak.
Open Issues 10
Closed Issues 90
Open Issues
100
Activity Peak
Most recent day with highest activity
Feb 5, 2026 • 1 events
Stars & Forks Over Time
Cumulative stars and forks based on recent history.