Our great sponsors
-
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"?
-
SonarLint
Clean code begins in your IDE with SonarLint. Up your coding game and discover issues early. SonarLint is a free plugin that helps you find & fix bugs and security issues from the moment you start writing code. Install from your favorite IDE marketplace today.
-
-
If you're interested, check out the repo. Feedback is much appreciated to make this useful: https://github.com/bdkiran/lucidmq
-
jax
Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
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.
-
InfluxDB
Access the most powerful time series database as a service. Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
-
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/
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives