-
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.
I've recently implemented Algorithm W + Typeclasses here but now working on an alternative implementation which is based on HM(X) (see Type Inference with Constrained Types) which is more uniform and flexible (treats inference as constraint solving and thus can be extended with more types of constraints).
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.