Popularity

9.6

Stable

Activity

9.9

Growing

Stars 252

Watchers 8

Forks 35

Last Commit 8 days ago

Monthly Downloads: 188

Programming language: Haskell

License: BSD 3-clause "New" or "Revised" License

Tags: Math Theorem Provers Utils Bit Vectors Formal Methods Symbolic Computation SMT

Latest version: v8.14

sbv alternatives and similar packages

Based on the "Bit Vectors" category.
Alternatively, view sbv alternatives based on common mentions on social networks and blogs.

bit-array

5.4 0.0 sbv VS bit-array

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

5.2 3.0 sbv VS hw-bits

Bit manipulation

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.

Promo coderabbit.ai