evanmiller / SlowerLogLogLinks
Like HyperLogLog, but slower 🛶
☆10Updated 5 years ago
Alternatives and similar repositories for SlowerLogLog
Users that are interested in SlowerLogLog are comparing it to the libraries listed below
Sorting:
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆58Updated 13 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 5 months ago
- ♥ Janusz Brzozowski☆162Updated last year
- High fidelity benchmark runner☆90Updated 4 years ago
- An experiment in using DuckDB for a datalog / egg☆28Updated 2 years ago
- ☆30Updated 2 years ago
- Moments Sketch Code☆40Updated 7 years ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- Various Futhark benchmark programs☆43Updated 3 weeks ago
- The Stan transpiler (from Stan to C++ and beyond).☆149Updated last week
- Backtrace.io's resilient log record framing format☆40Updated 3 years ago
- Relational Algebra at your fingertips☆62Updated 11 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- Long-term book project☆34Updated 4 years ago
- A general purpose relational language☆19Updated 5 years ago
- A small DFA for under 16 states☆53Updated 7 years ago
- CHR2 to SQL conversion☆15Updated 10 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 6 years ago
- NumLin: Linear Types for Linear Algebra☆23Updated 2 years ago
- A simple "columnar database" based on memory-mapped files, written in APL☆33Updated 5 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- a 64-bit histogram / quantile sketch☆59Updated 11 months ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 3 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆41Updated 2 weeks ago
- Proposed documentation for alloytools.org☆71Updated 3 months ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 6 years ago
- A compiler for Bayesian time series models.☆24Updated last year
- Infrastructure for explaining the outputs of differential dataflow computations☆23Updated 9 years ago
- An interactive Datalog☆62Updated this week
- Binary floating-point to decimal string conversion algorithm.☆106Updated 8 years ago