GitHub repository: GaloisInc/bv-sized
Primary language: Haskell
Created: 2018-08-08T21:40:50Z
Description: A bitvector datatype that is parameterized by the vector width.