GitHub repository: matteobaccan/vignat
Primary language: C
Description: [deprecated, see https://github.com/vigor-nf/vigor] VigNAT first repository. Includes VigNAT, libVig, Vigor Validator, and all the proofs.