Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

verateam/vera

A programmable tool for verification, analysis and transformation of C++ source code

Owner: verateam (organization)
Stars: Stars: 101
Forks: Forks: 28
Language: C++
License: BSL-1.0
Created: 2013
Tier: Prototype (100 to 249 ★) What this tier means

Nearby in C++

innae1121-bit/gsghwpStars: 101C++Prototype
decrypthub/IOSDecryptHubStars: 101C++Prototype
kamb205/KB-RPCS3Stars: 101C++Prototype
mhroth/jasiohostStars: 101C++Prototype
wired/colloquypushStars: 101C++Prototype
vjeux/jsppStars: 101C++Prototype