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

This page summarizes the projects mentioned and recommended in the original post on /r/rust

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured
  1. bevy

    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

    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.

    InfluxDB logo
  3. wasmer

    πŸš€ 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

    A functional and reactive JavaScript framework for predictable code

  5. LucidMQ

    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

    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

    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

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

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

  9. SaaSHub

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

    SaaSHub logo
  10. kani

    Kani Rust Verifier

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

  11. supervisionary

    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

    Generate type-safe code from SQL

  13. sycamore

    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

    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

    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

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

  17. Enzyme

    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

    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

    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

    Formal verification for OCaml

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

  21. fluvio

    πŸ¦€ 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

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

    SaaSHub logo
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.

Suggest a related project

Related posts

  • πŸ‘¨πŸ»β€πŸ’» Hacking Dioxus: How Vibe Coding Is Destroying Software Engineering

    2 projects | dev.to | 26 May 2025
  • Show HN: Rocal UI – A simple template engine with Rust

    3 projects | news.ycombinator.com | 26 Apr 2025
  • WebAssembly Playground

    9 projects | news.ycombinator.com | 4 Feb 2024
  • A minimal working Rust / SDL2 / WASM browser game

    6 projects | news.ycombinator.com | 15 Jan 2024
  • What’s everyone working on this week (19/2023)?

    15 projects | /r/rust | 8 May 2023

Did you know that Rust is
the 5th most popular programming language
based on number of references?