NationalSecurityAgency / XORSATFilterLinks
A library for building efficient set-membership filters and dictionaries based on the Satisfiability problem.
☆82Updated 3 years ago
Alternatives and similar repositories for XORSATFilter
Users that are interested in XORSATFilter are comparing it to the libraries listed below
Sorting:
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- Flexible and Constant Time Programming Language☆201Updated 3 years ago
- a 64-bit histogram / quantile sketch☆59Updated 8 months ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Quick sort code using AVX2 instructions☆69Updated 8 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆111Updated last week
- ☆83Updated 11 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- egg is a flexible, high-performance e-graph library☆12Updated last year
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated 2 years ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- Various implementation of byte matrix multiplication☆26Updated 8 months ago
- Bertie TLS 1.3 Implementation☆125Updated 3 months ago
- Simulate realistic trajectory data seen through sporadic reporting☆162Updated 7 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 6 months ago
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated last year
- CTADL is a static taint analysis tool☆46Updated 3 weeks ago
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- c++ library for binary fuse filters, including a sharded filter☆93Updated 7 months ago
- A probabilistic approximate DNF counter☆37Updated 3 weeks ago
- Integer Map Data Structure☆131Updated 2 years ago
- Wolfsort is a stable adaptive hybrid radix / merge sort.☆197Updated last year
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago