24 skills found
stp / StpSimple Theorem Prover, an efficient SMT solver for bitvectors
maple3142 / Gf2bvSolving linear systems over GF(2) by manipulating bitvectors
bkille / BitLibProvides 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.
gvinciguerra / La Vector🔶 Compressed bitvector/container supporting efficient random access and rank queries
leonardt / HwtypesPython implementations of fixed size hardware types (Bit, BitVector, UInt, SInt, ...) based on the SMT-LIB2 semantics
MarcAzar / BitVectorBitVector Implementation in Nim
RiscInside / Egraph Smt BvFYP on using e-graphs to solve smt bitvector problems
horasal / Bitvector SimdBitvector implementation with Packed SIMD 2
dgryski / Go Abitvecatomic bitvector
isovic / MinialignMinimalistic aligner which uses Minimap for input mapping locations and Edlib for fast bitvector alignment.
IJzerbaard / HaroldbotBitvector solver and theorem prover
cucapra / BaaBitVector and Array Arithmetic library
alirezanet / BitVectorBitVector: A memory-efficient and high-performance struct for working with individual bits in .NET applications.
ekg / Atomicbitvectoratomic bitset/bitvector with size determined at runtime
pmatos / Racket BvRacket bitvectors a-la rosette
GaloisInc / Bv SizedA bitvector datatype that is parameterized by the vector width.
bpot / RrrGo implementation of compressed bitvectors supporting rank and select
olddaos / Node EwahFast and concise bitvectors ( either sparse or dense ), based on Lemur Project."
MarkusRabe / Smtlib2qdimacsA translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.
alpaylan / BvrsA lightweight Rust library for BitVector Rank&Select operations, coupled with a generic Sparse Array implementation.
