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 reddit.com/r/rust

Our great sponsors
  • SonarLint - Clean code begins in your IDE with SonarLint
  • InfluxDB - Access the most powerful time series database as a service
  • SaaSHub - Software Alternatives and Reviews
  • 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.

  • wasmer

    🚀 The leading WebAssembly Runtime supporting WASI and Emscripten

    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.

  • Cycle.js

    A functional and reactive JavaScript framework for predictable code

  • lucidmq

    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

  • 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:

  • 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),

  • xstate

    State machines and statecharts for the modern web.

    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.

  • kani

    Kani Rust Verifier

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

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

  • sqlc

    Generate type-safe code from SQL

  • 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

  • dioxus

    React-like GUI library for desktop, web, mobile, tui, 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

  • yew

    Rust / Wasm framework for building client web apps

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

  • FFmpeg

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

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

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

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

  • coq-of-ocaml

    Formal verification for OCaml

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

  • fluvio

    An intelligent event streaming platform

    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

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