Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "bitvector" keyword
Top 0.2% on pypi.org
51 versions - Latest release: 12 days ago - 114 dependent packages - 2,329 dependent repositories - 2.13 million downloads last month - 379 stars on GitHub - 1 maintainer
bitstring 4.2.2
Simple construction, analysis and modification of binary data.51 versions - Latest release: 12 days ago - 114 dependent packages - 2,329 dependent repositories - 2.13 million downloads last month - 379 stars on GitHub - 1 maintainer
bitlist 1.2.0
Pure-Python library for working with bit vectors.30 versions - Latest release: 9 months ago - 7 dependent packages - 5 dependent repositories - 494 downloads last month - 0 stars on GitHub - 1 maintainer
Top 9.0% on pypi.org
19 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 242 downloads last month - 45 stars on GitHub - 3 maintainers
omega 0.4.0
Symbolic algorithms for solving games of infinite duration.19 versions - Latest release: 3 months ago - 2 dependent packages - 9 dependent repositories - 242 downloads last month - 45 stars on GitHub - 3 maintainers
bitformat 0.0.1
A library for creating and interpreting binary formats.1 version - Latest release: 4 months ago - 15 downloads last month - 1 stars on GitHub - 1 maintainer
Related Keywords
python
4
binary
2
bitarray
2
bitfield
2
bit-manipulation
2
bitstring
2
automaton
1
transition system
1
state machine
1
enumeration
1
satisfiability
1
guarantee
1
assume
1
system
1
specification
1
games
1
symbolic
1
automata
1
streett
1
rabin
1
temporal logic
1
temporal tester
1
gr1
1
generalized reactivity
1
logic-minimization
1
synthesis
1
temporal-logic
1
binary-format
1
binary-data
1
bit
1
bit-algorithms
1
bit-array
1
bit-vector
1
bit-vectors
1
bits
1
common-library
1
data-structures
1
first-order
1
propositional
1
logic
1
quantifier
1
forall
1
exists
1
fixpoint
1
mu-calculus
1
formula
1
flatten
1
bitblaster
1
arithmetic
1
binary decision diagram
1