-
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.
In Rust I have never seen it. However, in Agda it's a convention, and the code looks beautifully https://github.com/agda/agda-stdlib/blob/master/src/Algebra/Lattice/Structures.agda
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
-
Static Type Safety with Variadic Functions: an Idea and a Question
-
Separating the type and value namespaces?
-
Should programming languages switch to special characters (gliphs) for it's code?
-
Python VS Common Lisp applied: print, log and icecream
-
Tracy: A real time frame and sampling profiler for games and other applications