evanmiller / SlowerLogLogLinks
Like HyperLogLog, but slower 🛶
☆10Updated 6 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
- Moments Sketch Code☆40Updated 7 years ago
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- ♥ Janusz Brzozowski☆161Updated last year
- High fidelity benchmark runner☆91Updated 4 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆23Updated 9 years ago
- An introduction to the basic ideas of commutative algebra☆17Updated 5 years ago
- An experiment in using DuckDB for a datalog / egg☆27Updated 2 years ago
- Verified hash-based AMQ structures in Coq☆124Updated 5 years ago
- The Stan transpiler (from Stan to C++ and beyond).☆150Updated last week
- CHR2 to SQL conversion☆15Updated 10 years ago
- Parses and executes Runway models of distributed systems☆50Updated 3 years ago
- Materials and accompanying references for all things pwlconf related☆60Updated 6 years ago
- A lightweight Datalog engine in Rust☆57Updated 8 months ago
- A small DFA for under 16 states☆54Updated 7 years ago
- A general purpose relational language☆19Updated 5 years ago
- Various Futhark benchmark programs☆43Updated 2 weeks ago
- ARCHIVED Generate Code from BNF Grammars☆12Updated 3 years ago
- Automatically exported from code.google.com/p/full-maude☆16Updated 4 months ago
- Pure Pony Kafka client☆59Updated 6 years ago
- a 64-bit histogram / quantile sketch☆59Updated last year
- Backtrace.io's resilient log record framing format☆40Updated 4 years ago
- A library for working with mmap'd graph data☆11Updated 5 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆42Updated last week
- Proposed documentation for alloytools.org☆71Updated 5 months ago
- Converts between file formats such as CSV and Parquet☆14Updated 8 years ago
- A series of educational Deep Learning Koans, using Julia and Flux.jl☆33Updated 6 years ago
- a rust implementation of Stan Math library.☆10Updated 7 years ago
- A compiler for Bayesian time series models.☆24Updated last year