-
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.
-
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Bevy has support for android, I've tended to help with iOS. There are some tools to bundle up the rust and put it in an android emulator.
Wasmer advertises embeddings for at least half a dozen different languages. How do you define "in principle"?
If you're interested, check out the repo. Feedback is much appreciated to make this useful: https://github.com/bdkiran/lucidmq
A JAX like librairie for GPU computing (I am using JAX quitte a bit these days and it is a really nice abstraction for GPU computing in general and building deeplearning frameworks in particular). It would require three crates:
make a crate that let you represent HLO with an enum (using the official protobuf as a base),
A client for XState, with a full DSL system via macro.
Might be inspired by https://github.com/model-checking/kani
Here's a proof-checker written in Rust for HOL, the same logic that Isabelle/HOL, HOL4, and HOL Light implements, up-to minor differences. However, the proof-checker has a very different design, compared to those systems, being written more like an operating system where proofs are constructed by issuing system calls (or, rather, calls into a Wasm host) and the kernel returning opaque handles to constructed objects to "user space".
cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew
cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew
cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew
Have you taken a look at enzymeAD? There is a group porting it to rust.
You could also try Cranelift. The resulting code isn't as optimized as with LLVM, but it's faster and pleasant to use (and is written in Rust).
I want to build something that be translated from coq to rust and vice versa, since rust has a macro system I can probably use it to convert the expressions in coq to rust and vice versa (something similar to this -> https://github.com/pirapira/coq2rust) but in the opposite direction.
Coq of OCaml is a good example of how I want it to be for rust
There already is a Kafka replacement in Rust: https://www.fluvio.io/