{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/bv-sized","name":"bv-sized","description":"This module defines a width-parameterized bitvector type and various associated operations.","version":"1.0.8","softwareVersion":"1.0.8","license":"https://spdx.org/licenses/BSD-3-Clause","codeRepository":"https://github.com/GaloisInc/bv-sized","issueTracker":"https://github.com/GaloisInc/bv-sized/issues","url":"https://github.com/GaloisInc/bv-sized","keywords":["bit-vectors","bsd3","library","Propose Tags"],"programmingLanguage":{"@type":"ComputerLanguage","name":"Haskell"},"maintainer":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"KevinQuick"},{"@type":"Person","name":"galoisinc"},{"@type":"Person","name":"benselfridge"},{"@type":"Person","name":"sauclovian_g"},{"@type":"Person","name":"aschwerdfeger_galois"}],"author":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"KevinQuick"},{"@type":"Person","name":"galoisinc"},{"@type":"Person","name":"benselfridge"},{"@type":"Person","name":"sauclovian_g"},{"@type":"Person","name":"aschwerdfeger_galois"}],"copyrightHolder":[{"@type":"Person","name":"ryanglscott"},{"@type":"Person","name":"KevinQuick"},{"@type":"Person","name":"galoisinc"},{"@type":"Person","name":"benselfridge"},{"@type":"Person","name":"sauclovian_g"},{"@type":"Person","name":"aschwerdfeger_galois"}],"dateCreated":"2018-03-08","dateModified":"2026-08-26","datePublished":"2026-08-26","copyrightYear":2018,"downloadUrl":"https://hackage.haskell.org/package/bv-sized-1.0.8/bv-sized-1.0.8.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","developmentStatus":"active","sameAs":["https://hackage.haskell.org/package/bv-sized"],"https://www.w3.org/ns/activitystreams#likes":6,"https://forgefed.org/ns#forks":4}