# vprover/vampire

<https://repo.masters-masters.com/en/repos/vprover/vampire>

[Home](https://repo.masters-masters.com/en) › [vprover](https://repo.masters-masters.com/en/owners/vprover) › [vampire](https://repo.masters-masters.com/en/repos/vprover/vampire)

vprover/vampire has 446 stars on GitHub. Its RepoMasters card: Alpha tier. The Vampire Theorem Prover Language: C++.

| Field | Value |
| --- | --- |
| Owner | [vprover](https://repo.masters-masters.com/en/owners/vprover) |
| Stars | 446 |
| Forks | 84 |
| Language | [C++](https://repo.masters-masters.com/en/languages/c-plus-plus) |
| License | None |
| Created | 2014 |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [vprover/vampire](https://github.com/vprover/vampire) |

## Repository

The Vampire Theorem Prover

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in C++

- [Maproom/qmapshack · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/Maproom/qmapshack)
- [google-deepmind/lab2d · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/google-deepmind/lab2d)
- [patr-schm/TinyAD · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/patr-schm/TinyAD)
- [dutor/loki · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/dutor/loki)
- [OpenArkStudio/ark · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/OpenArkStudio/ark)
- [openstf/ios-minicap · ★ 446 · C++ · Alpha](https://repo.masters-masters.com/en/repos/openstf/ios-minicap)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.