Topic: "bitvector"
ferrilab/bitvec
A crate for managing memory bit by bit
Language: Rust - Size: 4.11 MB - Last synced at: 10 days ago - Pushed at: 9 months ago - Stars: 1,282 - Forks: 121
greg7mdp/gtl
Greg's Template Library of useful classes.
Language: C++ - Size: 2.38 MB - Last synced at: 10 days ago - Pushed at: 13 days ago - Stars: 181 - Forks: 11
xxsds/sdsl-lite Fork of simongog/sdsl-lite
Succinct Data Structure Library 3.0
Language: C++ - Size: 11 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 94 - Forks: 18
teivah/bitvector
Static bit vector structures library
Language: Go - Size: 36.1 KB - Last synced at: 16 days ago - Pushed at: almost 6 years ago - Stars: 72 - Forks: 4
bkille/BitLib
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.
Language: C++ - Size: 394 KB - Last synced at: 11 months ago - Pushed at: 11 months ago - Stars: 67 - Forks: 4
tulip-control/omega
Specify and synthesize systems using symbolic algorithms
Language: Python - Size: 899 KB - Last synced at: 6 days ago - Pushed at: 6 months ago - Stars: 46 - Forks: 5
Robbepop/stevia
A simple (unfinished) SMT solver for QF_ABV.
Language: Rust - Size: 1.38 MB - Last synced at: 3 days ago - Pushed at: about 6 years ago - Stars: 36 - Forks: 5
pasta-toolbox/bit_vector
Fast and highly tuned bit vector implementation including space efficient rank and select support having only 3.51% space overhead.
Language: C++ - Size: 1.89 MB - Last synced at: 9 days ago - Pushed at: 14 days ago - Stars: 29 - Forks: 5
michaeljclark/bignum
C++ bignum with support for arbitrary precision integer arithmetic.
Language: C++ - Size: 80.1 KB - Last synced at: 15 days ago - Pushed at: over 4 years ago - Stars: 29 - Forks: 3
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.
Language: Python - Size: 703 KB - Last synced at: 13 days ago - Pushed at: over 7 years ago - Stars: 26 - Forks: 22
sdasgup3/partial-redundancy-elimination
Partial Redundancy Elimination Pass in LLVM
Language: TeX - Size: 22.7 MB - Last synced at: 9 days ago - Pushed at: almost 6 years ago - Stars: 13 - Forks: 3
kawasin73/bitset
Bi-Endian Bit Vector (Array) in Golang
Language: Go - Size: 49.8 KB - Last synced at: 10 months ago - Pushed at: about 6 years ago - Stars: 8 - Forks: 3
pmatos/racket-bv
Racket bitvectors a-la rosette
Language: Racket - Size: 34.2 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 7 - Forks: 1
nessan/bit
C++ header-only library for working in bit-space/GF(2).
Language: C++ - Size: 1.95 MB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 1
alpaylan/bvrs
A lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
Language: Rust - Size: 915 KB - Last synced at: 18 days ago - Pushed at: about 3 years ago - Stars: 5 - Forks: 0
haxelion/bva
Bit Vector Arithmetic in Rust
Language: Rust - Size: 242 KB - Last synced at: 6 days ago - Pushed at: about 1 month ago - Stars: 4 - Forks: 0
paultristanwagner/satisfiability-checking
Command line tool for SAT solving, SMT solving in various theories (NRA, LRA, LIA, EQ, EQUF, BV)
Language: Java - Size: 910 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 4 - Forks: 0
NicolaAggio/Afternotes
Afternotes from the courses of the master degree course of Computer Science and Information Technology, from the Ca' Foscari University of Venice.
Language: TeX - Size: 111 MB - Last synced at: 10 months ago - Pushed at: 10 months ago - Stars: 4 - Forks: 0
chakravala/PrimitiveBits.jl
Static bit-vector with primitive byte storage and bit-wise index
Language: Julia - Size: 2.93 KB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 4 - Forks: 1
ology/Music-CreatingRhythms
Perl from the C code of the book, "Creating Rhythms"
Language: Perl - Size: 104 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0
nic-obert/bitvec_padded
Bit vector implementation that includes byte padding for safe serialization and deserialization.
Language: Rust - Size: 4.88 KB - Last synced at: 14 days ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0
recursion-ninja/bv-little
A little endian bit-vector Haskell library
Language: Haskell - Size: 234 KB - Last synced at: 30 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 1
eihwaz/bit-long-vec
Vector with fixed bit sized values stored in long
Language: Rust - Size: 20.5 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 1
rootslab/toni
Toni, a simple and efficient bitmap implementation for integer sets, using bitwise operations and a Buffer.
Language: JavaScript - Size: 25.4 KB - Last synced at: 1 day ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 3
sdasgup3/non-separable-global-dataflow-framework
Extend GCC's GDFA Architecture to Non-separable Framwork
Language: Turing - Size: 1.97 MB - Last synced at: 12 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0
keilerkonzept/bitknn
Fast exact k-nearest neighbors (k-NN) for 1-bit feature vectors packed into uint64s
Language: Go - Size: 84 KB - Last synced at: about 1 month ago - Pushed at: about 2 months ago - Stars: 0 - Forks: 0
LennardKittner/bit_vector
A bit vector that supports fast rank and select
Language: Rust - Size: 65.4 KB - Last synced at: 2 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0
lapets/bitlist
Pure-Python library for working with bit vectors.
Language: Python - Size: 80.1 KB - Last synced at: about 1 month ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
pmehnert/ads-project
Project for the lecture Advanced Data Structures during summer term 2023
Language: Rust - Size: 199 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
PatrickSteil/BitDatastructures
Project for "Advanced Data Structures" @ KIT in SS 23
Language: C++ - Size: 89.7 MB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
rossmerr/bitvector
BitVector
Language: Go - Size: 40 KB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
sdrew/bitvector-hours
Language: Ruby - Size: 35.2 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
JensUngerer/bitvector-set
Two class libraries in order to work with BitVectors (aka BitSets): the "raw" BitVector class and the ISet abstraction: BitVectorSet.
Language: C# - Size: 51.8 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
cchexcode/go-bitvector
Memory optimized boolean collection `bitvector`.
Language: Go - Size: 59.6 KB - Last synced at: 28 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
nixaraven/s9_vector
Add-on for simongog/sdsl-lite that defines a new compressed bitvector called s9_vector
Language: C++ - Size: 23.4 KB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 1
amallia/bit_vector
Bit-vector container
Language: C++ - Size: 215 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0
fauzanzaid/BitSet-in-C
An implementation of Bit set or Bit arrays in C
Language: C - Size: 10.7 KB - Last synced at: about 1 year ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
hkailahi/copia
A scheduling algorithm for matching food donations to local charities
Language: Java - Size: 38 MB - Last synced at: 8 days ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0
