supervisionary
fluvio
supervisionary | fluvio | |
---|---|---|
1 | 26 | |
3 | 2,663 | |
- | 3.1% | |
3.2 | 9.5 | |
almost 2 years ago | 1 day ago | |
Rust | Rust | |
MIT License | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
supervisionary
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
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".
fluvio
- Ask HN: WebSocket Relay?
- XFaaS: Hyperscale and Low Cost Serverless Functions at Meta
-
Iggy.rs – building message streaming in Rust
I'm not quite sure how this compares to Kafka and fluvio [1], a Kafka competitor also written in Rust?
Is it more of a message queue like rabbitmq?
[1] https://www.fluvio.io/
- Fluvio: Open-source data streaming platform
- Show HN: Fluvio – Distributed stream processing system written in Rust and WASM
-
Thank you for checking out the Fluvio repo
Seeing signs of the hockey stick traffic on the Fluvio Open Source repo: https://github.com/infinyon/fluvio
Stopped the mobile notifications for the stargazer bot on discord and slack to stop the dopamine rush!!!
But thank you for checking us out.
- Opens Source Rust and WASM Alternative to Kafka and Flink
- Fluvio is a high-performance distributed data streaming platform in Rust
- RabbitMQ vs. Kafka – An Architect’s Dilemma (Part 1)
-
Advice: I am 36, and i want to transition from ETL developer to Rust
Look at open source project fluvio https://github.com/infinyon/fluvio and see how we’re building a modern bus that can do ETL streaming style :).
What are some alternatives?
coq2rust - Coq to Rust program extraction. The whole tree is on the original Coq code base.
nsq - A realtime distributed messaging platform
coq-of-ocaml - Formal verification for OCaml
datafuse - An elastic and reliable Cloud Warehouse, offers Blazing Fast Query and combines Elasticity, Simplicity, Low cost of the Cloud, built to make the Data Cloud easy [Moved to: https://github.com/datafuselabs/databend]
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
roapi - Create full-fledged APIs for slowly moving datasets without writing a single line of code.
yew - Rust / Wasm framework for creating reliable and efficient web applications
sccache - Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
rust-blog - Educational blog posts for Rust beginners
dioxus - Fullstack GUI library for web, desktop, mobile, and more.
cache - Cache dependencies and build outputs in GitHub Actions