Haskell Bit Vectors

Open-source Haskell projects categorized as Bit Vectors | Edit details
Related topics: #Utils #Bit #Haskell #SMT #API

Top 7 Haskell Bit Vector Projects

  • sbv

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

  • hz3

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

  • Scout APM

    Less time debugging, more time building. Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.

  • bitvec

    Bit arrays for Haskell (by mokus0)

  • bit-array

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

  • hw-bits

  • bit-vector

    Simple bit vectors for Haskell

  • bv-little

    A little endian bit-vector Haskell library

  • SonarLint

    Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

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

Index

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

Project Stars
1 sbv 169
2 hz3 45
3 bitvec 8
4 bit-array 5
5 hw-bits 4
6 bit-vector 2
7 bv-little 1
Find remote jobs at our new job board 99remotejobs.com. There are 7 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com