bitvector topic

A crate for managing memory bit by bit

ferrilab

Static bit vector structures library

teivah

Provides a bit-vector, an optimized replacement of the infamous std::vector<:b:ool>. In addition to the bit-vector, the library also provides implementations of STL algorithms tailored for bit-vec...

bkille

Specify and synthesize systems using symbolic algorithms

tulip-control

A simple (unfinished) SMT solver for QF_ABV.

Robbepop

Greg's Template Library of useful classes.

greg7mdp

C++ bignum with support for arbitrary precision integer arithmetic.

michaeljclark

Two scripts in Python to encrypt/decrypt using the 128 bits AES algorithm, ECB mode with hex "00" as padding for each character. For the encryption, an ascii plaintext file is taken as the input, then...

homerflander

Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.

pasta-toolbox