A crate for managing memory bit by bit

Greg's Template Library of useful classes.

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

A simple (unfinished) SMT solver for QF_ABV.

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

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

Bi-Endian Bit Vector (Array) in Golang

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

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.

Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)

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

Bit Vector Arithmetic in Rust

Perl from the C code of the book, "Creating Rhythms"

Simple bitset implementation

Toni, a simple and efficient bitmap implementation for integer sets, using bitwise operations and a Buffer.

Fast exact k-nearest neighbors (k-NN) for 1-bit feature vectors packed into uint64s

A little endian bit-vector Haskell library

Header-only library for packed integers manipulations

BitVector

Project for "Advanced Data Structures" @ KIT in SS 23

Extend GCC's GDFA Architecture to Non-separable Framwork

Bit vector implementation that includes byte padding for safe serialization and deserialization.

Vector with fixed bit sized values stored in long

Dynamic boolean vector implementation for C programming language.