GitHub repository: GaloisInc/gghlite-flint
Primary language: C
Created: 2015-12-10T19:30:21Z
Description: Fork of an implementation of GGHLite