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
- a 64-bit histogram / quantile sketch☆59Updated 7 months ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Flexible and Constant Time Programming Language☆200Updated 3 years ago
- A probabilistic approximate DNF counter☆37Updated this week
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Detecting Inconsistencies in Feature or Function Evaluations of Requirements☆67Updated last year
- The dream accurate approximate set cardinality estimator based on 3-bit HyperLogLog. More accurate than Redis HyperLogLog.☆55Updated 4 years ago
- Library sandboxing for the Verona research language and usable in other contexts.☆46Updated last year
- An Evaluation of Linear Probing Hashtable Algorithms☆32Updated last year
- c++ library for binary fuse filters, including a sharded filter☆92Updated 7 months ago
- Brzozowski derivative python sketch☆85Updated 5 months ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆110Updated last week
- Various implementation of byte matrix multiplication☆26Updated 7 months ago
- Using z3's never been easier (maybe)☆102Updated 3 years ago
- GitHub copy of the NTS/TeX source code from 2001☆31Updated 4 years ago
- Integer Map Data Structure☆131Updated 2 years ago
- A distributed hash table with unusually strong security properties☆64Updated 5 years ago
- yet another scalar autograd engine - featuring complex numbers and fixed DAG☆26Updated last year
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- CECS 342 Lab 4: Logic Languages with SWI-Prolog☆13Updated 3 years ago
- Lower Size Bounds for Sorting Networks☆46Updated 4 years ago
- Shuffle-based predicate matcher and all-round branch free swiss army chainsaw☆17Updated 7 years ago
- Wolfsort is a stable adaptive hybrid radix / merge sort.☆197Updated last year
- A dynamically safe implementation of C, using your existing C compiler. Tolerates idiomatic C code pretty well. Not perfect... yet.☆105Updated 11 months ago
- Poireau: a sampling allocation debugger☆98Updated 3 years ago
- Zig library for HyperLogLog estimation☆89Updated last year
- ☆83Updated 10 months ago