-
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.
Note that the type system is turing complete, so NP-Hard is not so bad. :-) Also if you are interested in working on a useful NP-Hard problem in rust, we would love help with the PubGrub project!
Rust's current usefulness and exhaustiveness checking resides in https://github.com/rust-lang/rust/blob/0cd0709f19d316c4796fa71c5f52c8612a5f3771/compiler/rustc_mir_build/src/thir/pattern/usefulness.rs, which links to a 2007 paper, if you're interested.
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.