Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / GaloisInc / bv-sized
A bitvector datatype that is parameterized by the vector width.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/GaloisInc%2Fbv-sized
Stars: 6
Forks: 3
Open Issues: 2
License: bsd-3-clause
Language: Haskell
Repo Size: 250 KB
Dependencies:
16
Created: almost 6 years ago
Updated: over 1 year ago
Last pushed: over 1 year ago
Last synced: 7 months ago
Files
Loading...
Readme
Loading...
Dependencies
bv-sized.cabal
hackage
- base >=4.11 && <5
- bitwise >=1.0.0 && <1.1
- bytestring >=0.10 && <0.12
- deepseq >=1.4.0 && <1.5.0
- panic >=0.4.0 && <0.5
- parameterized-utils >=2.0.2 && <2.2
- random >=1.2.0 && <1.3
- th-lift >=0.8.1 && <0.9
- MonadRandom >=0.5.3 && <0.6 test
- base * test
- bv-sized * test
- bytestring * test
- hedgehog * test
- parameterized-utils * test
- tasty >=1.2.3 && <1.5 test
- tasty-hedgehog ==1.2.* test