What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?

1. bevy

   1 594 40,113 10.0 Rust

   A refreshingly simple data-driven game engine built in Rust

   

   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.

2. InfluxDB

   www.influxdata.com featured

   InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

   

3. wasmer

   2 142 19,818 9.9 Rust

   🚀 Fast, secure, lightweight containers based on WebAssembly

   

   Wasmer advertises embeddings for at least half a dozen different languages. How do you define "in principle"?

4. Cycle.js

   3 15 10,240 4.1 TypeScript

   A functional and reactive JavaScript framework for predictable code

   

5. LucidMQ

   4 4 40 0.0 Rust

   Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ

   

   If you're interested, check out the repo. Feedback is much appreciated to make this useful: https://github.com/bdkiran/lucidmq

6. jax

   5 90 32,559 10.0 Python

   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:

7. tensorflow

   6 236 190,419 10.0 C++

   An Open Source Machine Learning Framework for Everyone

   

   make a crate that let you represent HLO with an enum (using the official protobuf as a base),

8. xstate

   7 64 28,330 9.0 TypeScript

   Actor-based state management & orchestration for complex app logic.

   

   A client for XState, with a full DSL system via macro.

9. SaaSHub

   www.saashub.com featured

   SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

   

10. kani

    8 54 2,580 9.7 Rust

    Kani Rust Verifier

    

    Might be inspired by https://github.com/model-checking/kani

11. supervisionary

    9 1 3 3.2 Rust

    The Supervisionary proof-checking kernel for higher-order logic

    

    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".

12. sqlc

    10 182 15,303 8.9 Go

    Generate type-safe code from SQL

    

13. sycamore

    11 71 3,082 8.6 Rust

    A library for creating reactive web apps in Rust and WebAssembly

    

    cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew

14. dioxus

    12 174 28,027 9.8 Rust

    Fullstack app framework for web, desktop, mobile, and more.

    

    cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew

15. yew

    13 210 31,681 8.7 Rust

    Rust / Wasm framework for creating reliable and efficient web applications

    

    cool! btw we already have dioxus, a ui library inspired by React. there's also a few others, more web-oriented, sycamore and yew

16. FFmpeg

    14 499 50,719 10.0 C

    Mirror of https://git.ffmpeg.org/ffmpeg.git

    

17. Enzyme

    15 17 1,409 9.5 LLVM

    High-performance automatic differentiation of LLVM and MLIR. (by EnzymeAD)

    

    Have you taken a look at enzymeAD? There is a group porting it to rust.

18. cranelift-jit-demo

    16 8 672 3.5 Rust

    JIT compiler and runtime for a toy language, using Cranelift

    

    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).

19. coq2rust

    17 1 225 10.0 OCaml

    Coq to Rust program extraction. The whole tree is on the original Coq code base.

    

    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.

20. coq-of-ocaml

    18 1 265 4.0 OCaml

    Formal verification for OCaml

    

    Coq of OCaml is a good example of how I want it to be for rust

21. fluvio

    19 35 4,939 9.4 Rust

    🦀 event stream processing for developers to collect and transform data in motion to power responsive data intensive applications.

    

    There already is a Kafka replacement in Rust: https://www.fluvio.io/

22. SaaSHub

    www.saashub.com featured

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    

Suggest a related project