{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"vampire","owner":"vprover","isFork":false,"description":"The Vampire Theorem Prover","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":24,"starsCount":267,"forksCount":48,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-05T15:28:38.354Z"}},{"type":"Public","name":"vampire_benchmarks","owner":"vprover","isFork":false,"description":"A repository of benchmarks produced by and used by the Vampire team","allTopics":[],"primaryLanguage":{"name":"OpenEdge ABL","color":"#5ce600"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-16T05:06:44.948Z"}},{"type":"Public","name":"vprover.github.io","owner":"vprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":4,"issueCount":3,"starsCount":0,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T09:39:18.078Z"}},{"type":"Public","name":"rapid","owner":"vprover","isFork":false,"description":"RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to a first-order reasoner, particularly to Vampire's rapid-branch that has been optimized for software verification benchmarks. ","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-30T22:08:13.719Z"}},{"type":"Public","name":"vampire_publications","owner":"vprover","isFork":false,"description":"Repository used by Vampire team to store experimental results","allTopics":[],"primaryLanguage":{"name":"SMT","color":"#ccc"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-20T00:06:29.395Z"}},{"type":"Public","name":"inductive_benchmarks","owner":"vprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-05T19:06:52.320Z"}},{"type":"Public","name":"vampire-online","owner":"vprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":9,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-08T16:15:06.897Z"}},{"type":"Public","name":"benchexec","owner":"vprover","isFork":true,"description":"BenchExec: A Framework for Reliable Benchmarking and Resource Measurement","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":191,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-05-20T06:03:39.386Z"}},{"type":"Public","name":"ase17tutorial","owner":"vprover","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OpenEdge ABL","color":"#5ce600"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-10-31T11:10:05.626Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}