evanmiller / SlowerLogLog
Like HyperLogLog, but slower 🛶
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for SlowerLogLog
- Implementation of the JSON semi-index described in the paper "Semi-Indexing Semi-Structured Data in Tiny Space"☆57Updated 11 years ago
- Moments Sketch Code☆40Updated 6 years ago
- Proving a blocking queue deadlock free in a dozen different ways☆42Updated 2 weeks ago
- TLA+ specification for the Raft consensus algorithm (with Pre-Vote)☆12Updated 7 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Rcpp Bindings for the 'fastfloat' Header-Only Library☆19Updated 3 weeks ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Updated 2 years ago
- An experiment in using DuckDB for a datalog / egg☆25Updated last year
- Bloom + C++☆17Updated 7 years ago
- The algebra for formal power series in elements of the Weyl algebra☆18Updated 6 years ago
- Relational Algebra at your fingertips☆62Updated 9 years ago
- Infrastructure for explaining the outputs of differential dataflow computations☆22Updated 8 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated this week
- Roaring bitmaps in Haskell☆13Updated 6 years ago
- a 64-bit histogram / quantile sketch☆56Updated last year
- Beating the CAP theorem with the epidemic register☆16Updated 4 years ago
- PLT Redex models of LVar calculi☆10Updated 9 years ago
- Column-oriented binary format for immutable datasets☆8Updated 4 years ago
- Compact tries for fixed-width keys☆26Updated 6 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- Tail the Binlog of a database☆15Updated 2 years ago
- Some variations on Lemire's Fast Random Integer Generation in an Interval☆15Updated 5 years ago
- A Haskell library implementing several Paxos-related algorithms☆25Updated 11 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Updated 10 years ago
- A compiler for Bayesian time series models.☆22Updated 5 months ago
- Various Futhark benchmark programs☆40Updated 3 weeks ago
- Low-latency Overlog runtime☆18Updated 9 years ago