Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Bit Vectors packages

Showing projects tagged as Bit Vectors

  • sbv

    9.5 7.0 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • hz3

    9.1 3.7 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • hw-bits

    5.1 0.0 Haskell
    Bit manipulation
  • bit-array

    4.9 0.0 Haskell
    A bit array (aka bitset, bitmap, bit vector) API for numeric types
  • bitvec

    4.5 0.0 Haskell
    Bit arrays for Haskell
  • bit-vector

    4.0 0.0 Haskell
    Simple bit vectors for Haskell
  • hw-string-parse

    3.1 0.0 Roff
    String parser
  • bv-little

    2.1 5.1 Haskell
    A little endian bit-vector Haskell library