-
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.
The challenge is doing this without executing arbitrary programs, which might not be able to result in a typing judgement. Some complicated type systems resort to SMT solvers to “cheat” a little bit and get an answer without executing the program. F* is an example of that, and you can express really rich properties in the types, almost to arbitrary levels. There are types that are hard to prove or may loop forever though.
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.