bitvector

A crate for managing memory bit by bit

Greg's Template Library of useful classes.

Succinct Data Structure Library 3.0

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

Static bit vector structures library

Specify and synthesize systems using symbolic algorithms

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

A simple (unfinished) SMT solver for QF_ABV.

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

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 an encrypted hex file is outputted. For the decryption, a ciphertext hex file is taken as the input, then a decrypted ascii file is outputted.

Partial Redundancy Elimination Pass in LLVM

C++ header-only library for working in bit-space/GF(2).

Bi-Endian Bit Vector (Array) in Golang

Racket bitvectors a-la rosette

Afternotes from the courses of the master degree course of Computer Science and Information Technology, from the Ca' Foscari University of Venice.

A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.

Static bit-vector with primitive byte storage and bit-wise index

Bit Vector Arithmetic in Rust

A compact Set Packing solver blending MILP, heuristics, and efficient BitVector techniques.

Simple bitset implementation