-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
There's a lot of introduction here, but it starts getting to the point in section 3.4 "The previous paper". That paper is "A Relatively Small Turing Machine Whose Behavior Is Independent of Set Theory" https://arxiv.org/abs/1605.04343 and an improvement https://github.com/sorear/metamath-turing-machines I recommend starting there just to know where the conversation is going and then coming back to this.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.