Haskell Bit Vectors packages

• « All Tags

Selected Tags

• Bit Vectors

More Tags

• Utils
  6
• Data
  5
• Bit
  4
• Hw
  2
• Math
  2
• SMT
  2
• Theorem Provers
  2
• Formal Methods
  2

Bit Vectors packages

Showing projects tagged as Bit Vectors

• sbv

  9.6 9.3 Haskell

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

• hz3

  9.1 1.3 Haskell

  Haskell bindings to Microsoft's Z3 API (unofficial).

• bit-array

  5.4 0.0 Haskell

  A bit array (aka bitset, bitmap, bit vector) API for numeric types

• hw-bits

  5.3 3.0 Haskell

  Bit manipulation
  

• bit-vector

  4.1 0.0 Haskell

  Simple bit vectors for Haskell

• bitvec

  3.9 0.0 Haskell

  Bit arrays for Haskell

• hw-string-parse

  3.3 2.7 Roff

  String parser
  

• bv-little

  2.4 6.3 Haskell

  A little endian bit-vector Haskell library