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
- Relational Algebra at your fingertips☆62Updated 9 years ago
- Moments Sketch Code☆40Updated 6 years ago
- Rcpp Bindings for the 'fastfloat' Header-Only Library☆19Updated last month
- A simple "columnar database" based on memory-mapped files, written in APL☆33Updated 4 years ago
- LLVM-jitted bitmaps☆27Updated 4 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆13Updated 5 years ago
- SQL query interface to C++ collections and C data structures. Also configurable as a loadable Linux kernel module and an extension to Val…☆14Updated 6 years ago
- tinkerpop blueprints graphdb on top on lmdb☆20Updated 10 years ago
- A compiler for Bayesian time series models.☆22Updated 5 months ago
- Bloom + C++☆17Updated 7 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 13 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆30Updated this week
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆58Updated 7 years ago
- Using "Testing Shared Memories" paper to make Jepsen check linearizability in linear time☆20Updated 5 years ago
- Automatically exported from code.google.com/p/full-maude☆15Updated 10 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated last year
- Artifact accompanying our OOPSLA'15 publication.☆32Updated last year
- Reed-Solomon Erasure Coding in Haskell☆22Updated 7 years ago
- Edison: A Library of Efficient Data Structures☆55Updated 11 months ago
- Prototype of a new constraint-logic programming language in Racket☆28Updated 10 years ago
- A platform for unified linear and relational algebra analytics, built on the Accumulo NoSQL database☆11Updated 2 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- The Brown Benchmark for Table Types (B2T2)☆62Updated 5 months ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Updated 6 years ago
- Implementation of popular consensus protocols☆22Updated 4 years ago
- A small DFA for under 16 states☆52Updated 6 years ago
- Primary implementation of the Venture probabilistic programming system☆28Updated 5 years ago
- A script for running TLA+/TLC from the command line☆80Updated 3 years ago