-
rust-prolog
Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html
-
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Is there a Rust equivalent to https://hoogle.haskell.org/ ?
I wrote it myself: https://github.com/dagit/rust-prolog
Instead of searching functions based on their type structure (like Hoogle), you could search for functions that "consume"/"produce" values of given types (like OCaml's Merlin). I think Rust already computes variance of type constructors, so such a tool just would have to obtain this information.
It should be possible. I've only tinkered around with ra for a project similar to cargo-up. But the API provides the needed entrypoints to do that kind of analysis IIRC.
I have posted an issue about this https://github.com/rust-lang/rust/issues/86915, asking for type signature search for generics which would make a lot of things easier.