Haskell Bit Vectors

Open-source Haskell projects categorized as Bit Vectors
Utils Bit Haskell SMT API

Top 7 Haskell Bit Vector Projects

Bit Vectors
  1. sbv

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

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. hz3

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

  4. bitvec

    Bit arrays for Haskell (by mokus0)

  5. hw-bits

  6. bit-array

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

  7. bit-vector

    Simple bit vectors for Haskell

  8. bv-little

    A little endian bit-vector Haskell library

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Haskell Bit Vectors discussion

Log in or Post with

Haskell Bit Vectors related posts

  • [ANNOUNCE] New release of SBV with support for quantifiers

    1 project | /r/haskell | 15 Apr 2023

Index

What are some of the best open-source Bit Vector projects in Haskell? This list will help you:

# Project Stars
1 sbv 250
2 hz3 57
3 bitvec 8
4 hw-bits 5
5 bit-array 5
6 bit-vector 2
7 bv-little 1

Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that Haskell is
the 25th most popular programming language
based on number of references?