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

• bevy

  572 32,060 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

  131 17,735 9.9 Rust

  🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten

  

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

• WorkOS

  workos.com

  sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• Cycle.js

  11 10,235 4.1 TypeScript

  A functional and reactive JavaScript framework for predictable code

  

• LucidMQ

  4 27 7.6 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

• jax

  82 27,842 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:

• tensorflow

  221 182,323 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

  60 26,074 9.7 TypeScript

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

  

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

• InfluxDB

  www.influxdata.com

  sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• kani

  47 1,868 9.5 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

  169 10,709 9.7 Go

  Generate type-safe code from SQL

  

• sycamore

  70 2,657 7.4 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

  155 18,068 9.9 Rust

  Fullstack GUI library 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

• yew

  200 29,888 8.6 MDX

  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

• FFmpeg

  485 42,250 10.0 C

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

  

• Enzyme

  16 1,150 9.6 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

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

• coq2rust

  1 216 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 236 4.8 OCaml

  Formal verification for OCaml

  

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

• fluvio

  26 2,624 9.6 Rust

  Lean and mean distributed stream processing system written in rust and web assembly.

  

  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