A crate for managing memory bit by bit

Greg's Template Library of useful classes.

Succinct Data Structure Library 3.0

Static bit vector structures library

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.

Specify and synthesize systems using symbolic algorithms

A simple (unfinished) SMT solver for QF_ABV.

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

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

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

Racket bitvectors a-la rosette

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

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

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

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

Header-only library for packed integers manipulations