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

• bevy

  266 22,844 9.9 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.

• wasmer

  47 14,793 10.0 Rust

  🚀 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

  www.sonarlint.org

  sponsored

  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

  5 10,216 0.0 TypeScript

  A functional and reactive JavaScript framework for predictable code

  

• lucidmq

  3 14 7.1 Rust

  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

  32 22,376 9.9 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:

• tensorflow

  71 172,578 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),

• xstate

  17 23,412 9.6 TypeScript

  State machines and statecharts for the modern web.

  

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

• InfluxDB

  www.influxdata.com

  sponsored

  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

  17 970 9.3 Rust

  Kani Rust Verifier

  

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

• supervisionary

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

• sqlc

  83 7,829 8.5 Go

  Generate type-safe code from SQL

• sycamore

  24 2,078 9.3 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

• dioxus

  82 8,035 9.4 Rust

  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

  95 26,922 8.8 Rust

  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

  252 35,118 10.0 C

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

  

• Enzyme

  5 925 8.4 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.

• cranelift-jit-demo

  5 497 2.6 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).

• coq2rust

  1 210 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.

• coq-of-ocaml

  1 202 7.0 OCaml

  Formal verification for OCaml

  

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

• fluvio

  7 1,718 8.9 Rust

  An intelligent event streaming platform

  

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

• SaaSHub

  www.saashub.com

  sponsored

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

  

Suggest a related project