Bitvec Alternatives

Similar projects and alternatives to bitvec based on common topics and language

• sbv

  - 191 7.7 Haskell bitvec VS sbv

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

• hw-bits

  - 4 2.6 Haskell bitvec VS hw-bits

  

• InfluxDB

  www.influxdata.com

  sponsored

  Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.

  

• bit-array

  - 5 0.0 Haskell bitvec VS bit-array

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

• bit-vector

  - 2 0.0 Haskell bitvec VS bit-vector

  Simple bit vectors for Haskell

• hw-string-parse

  - 0 0.0 Roff bitvec VS hw-string-parse

  

• SonarQube

  www.sonarqube.org

  sponsored

  Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.