Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: bitvector

Repositories

ferrilab/bitvec

A crate for managing memory bit by bit

Language: Rust - Size: 4.11 MB - Last synced: 13 days ago - Pushed: about 1 month ago - Stars: 1,142 - Forks: 106

greg7mdp/gtl

Greg's Template Library of useful classes.

Language: C++ - Size: 2.26 MB - Last synced: about 1 month ago - Pushed: about 2 months ago - Stars: 91 - Forks: 5

pmatos/racket-bv

Racket bitvectors a-la rosette

Language: Racket - Size: 34.2 KB - Last synced: 23 days ago - Pushed: about 2 years ago - Stars: 7 - Forks: 1

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: 2 months ago - Pushed: over 5 years ago - Stars: 0 - Forks: 1

fauzanzaid/BitSet-in-C

An implementation of Bit set or Bit arrays in C

Language: C - Size: 10.7 KB - Last synced: 3 months ago - Pushed: about 6 years ago - Stars: 0 - 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: 892 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 0

Robbepop/stevia

A simple (unfinished) SMT solver for QF_ABV.

Language: Rust - Size: 1.38 MB - Last synced: 10 days ago - Pushed: about 5 years ago - Stars: 32 - Forks: 3

teivah/bitvector

Static bit vector structures library

Language: Go - Size: 36.1 KB - Last synced: about 1 month ago - Pushed: almost 5 years ago - Stars: 73 - Forks: 4

tulip-control/omega

Specify and synthesize systems using symbolic algorithms

Language: Python - Size: 894 KB - Last synced: about 1 month ago - Pushed: 4 months ago - Stars: 45 - Forks: 5

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: 84.5 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 1 - Forks: 0

xxsds/sdsl-lite Fork of simongog/sdsl-lite

Succinct Data Structure Library 3.0

Language: C++ - Size: 11 MB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 75 - Forks: 17

lapets/bitlist

Pure-Python library for working with bit vectors.

Language: Python - Size: 80.1 KB - Last synced: 10 days ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

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.64 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 19 - Forks: 2

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: 356 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 56 - 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: 10 months ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

PatrickSteil/BitDatastructures

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

Language: C++ - Size: 89.7 MB - Last synced: 10 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

hkailahi/copia

A scheduling algorithm for matching food donations to local charities

Language: Java - Size: 38 MB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

kawasin73/bitset

Bi-Endian Bit Vector (Array) in Golang

Language: Go - Size: 49.8 KB - Last synced: 10 months ago - Pushed: over 5 years ago - Stars: 7 - Forks: 3

pmehnert/ads-project

Project for the lecture Advanced Data Structures during summer term 2023

Language: Rust - Size: 199 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

sdasgup3/partial-redundancy-elimination

Partial Redundancy Elimination Pass in LLVM

Language: TeX - Size: 22.7 MB - Last synced: 10 months ago - Pushed: about 5 years ago - Stars: 11 - Forks: 4

ology/Music-CreatingRhythms

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

Language: Perl - Size: 98.6 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

rossmerr/bitvector

BitVector

Language: Go - Size: 40 KB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

michaeljclark/bignum

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

Language: C++ - Size: 80.1 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 26 - Forks: 3

homerflander/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: over 1 year ago - Pushed: almost 7 years ago - Stars: 11 - Forks: 15