
InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.

For the symbols, I think you can use https://github.com/vspinu/companymath
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.
Related posts

Types versus sets (and what about categories?)

Amendmend proposal: Changed syntax for Or patterns

Functional Programming and Maths <> How can a code monkey learn Agda?

FP language idea  would this is possible to infer and type check?

Haskell is the greatest programming language of all time ... the rational adult in a room full of children ... When I program in Haskell, I am in utopia. I am in a different world than 99.9% of what I see posted on Reddit.