Showing results for bits Vector
GitHub Repo
https://github.com/Boolector/boolector
Boolector/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
GitHub Repo
https://github.com/rawify/BitSet.js
rawify/BitSet.js
The RAW arbitrary size Bit-Vector implementation in JavaScript
GitHub Repo
https://github.com/gmarcais/compact_vector
gmarcais/compact_vector
Bit packed vector of integral values
GitHub Repo
https://github.com/thephoeron/bit-smasher
thephoeron/bit-smasher
Common Lisp library for handling bit vectors, bit vector arithmetic, and type conversions.
GitHub Repo
https://github.com/pulp-platform/ara
pulp-platform/ara
The PULP Ara is a 64-bit Vector Unit, compatible with the RISC-V Vector Extension Version 1.0, working as a coprocessor to CORE-V's CVA6 core
GitHub Repo
https://github.com/agnusmaximus/Word2Bits