bv-sized
a bitvector datatype that is parameterized by the vector width
homepage ↗ hackage: bv-sized github: GaloisInc/bv-sized
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 1.0.6 | 1 | 2 d | details › |
a bitvector datatype that is parameterized by the vector width
homepage ↗ hackage: bv-sized github: GaloisInc/bv-sized
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| haskell GitHub ↗ | 1.0.6 | 1 | 2 d | details › |