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.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