Projects in Awesome Lists tagged with bitvector
A curated list of projects in awesome lists tagged with bitvector .
https://github.com/greg7mdp/gtl
Greg's Template Library of useful classes.
bit-vector bit-vectors bitset bitvector btree concurrent containers dynamic-bitset hash hash-container hashmap lru-cache memoize soa unordered unordered-set
Last synced: 27 Oct 2025
https://github.com/tulip-control/omega
Specify and synthesize systems using symbolic algorithms
automata bitvector logic-minimization python rabin streett symbolic synthesis temporal-logic
Last synced: 15 Apr 2025
https://github.com/Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
bitvector decision-procedure smt smtlibv2 symbolic-execution
Last synced: 09 May 2025
https://github.com/michaeljclark/bignum
C++ bignum with support for arbitrary precision integer arithmetic.
bignum bignumber bitvector bitwise-operators cplusplus
Last synced: 06 Apr 2025
https://github.com/vincent-g-van/aes-encryption-python
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.
aes aes-128 aes-decryption aes-encryption aes-encryption-python bitvector ciphertext ecb ecb-mode encryption hex nist padding plaintext python python-3-6 textfile
Last synced: 06 Oct 2025
https://github.com/Vincent-G-Van/AES-Encryption-Python
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.
aes aes-128 aes-decryption aes-encryption aes-encryption-python bitvector ciphertext ecb ecb-mode encryption hex nist padding plaintext python python-3-6 textfile
Last synced: 30 Oct 2025
https://github.com/sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
bitvector common-subexpression-elimination compiler-optimization data-flow-analysis llvm loop-invariants
Last synced: 24 Oct 2025
https://github.com/alpaylan/bvrs
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
algorithms bitvector bitvector-library data-structures rank rank-select select succinct-bit-vector succinct-data-structure
Last synced: 26 Jul 2025
https://github.com/nessan/bit
C++ header-only library for working in bit-space/GF(2).
bitmatrix bitset bitvector gf2 linear-algebra polynomial
Last synced: 21 Jan 2026
https://github.com/chakravala/primitivebits.jl
Static bit-vector with primitive byte storage and bit-wise index
bit-array bit-vector bitarray bitvector primitive-arrays
Last synced: 11 Dec 2025
https://github.com/ology/music-creatingrhythms
Perl from the C code of the book, "Creating Rhythms"
bitvector music perl5-module rhythm
Last synced: 09 Oct 2025
https://github.com/nic-obert/bitvec_padded
Bit vector implementation that includes byte padding for safe serialization and deserialization.
bits bitvector bitvector-library rust vector
Last synced: 16 May 2025
https://github.com/rootslab/toni
Toni, a simple and efficient bitmap implementation for integer sets, using bitwise operations and a Buffer.
bitarray bitmap bitvector bloom-filter buffer nodejs
Last synced: 12 May 2025
https://github.com/sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
bitvector compiler-optimization data-flow-analysis dead-code-elimination gcc-plugin
Last synced: 21 Jan 2026
https://github.com/cchexcode/go-bitvector
Memory optimized boolean collection `bitvector`.
bitvector boolean collection go golang storage
Last synced: 09 Jul 2025
https://github.com/jessealama/compilers-team-codecamp-2025
Very simple introduction to reasoning about bit vectors in Lean with the bv_decide tactic
Last synced: 31 Jul 2025
https://github.com/keilerkonzept/bitknn
Fast exact k-nearest neighbors (k-NN) for 1-bit feature vectors packed into uint64s
bitvector hamming-distance hamming-distance-knn k-nearest-neighbors knn uint64
Last synced: 17 Mar 2025
https://github.com/lapets/bitlist
Pure-Python library for working with bit vectors.
bit bit-algorithms bit-array bit-manipulation bit-vector bit-vectors bits bitvector common-library data-structures python
Last synced: 09 Oct 2025
