coq-of-ocaml
fluvio
Our great sponsors
| coq-of-ocaml | fluvio | |
|---|---|---|
| 1 | 26 | |
| 237 | 2,624 | |
| 1.7% | 4.6% | |
| 4.8 | 9.6 | |
| 3 months ago | 6 days ago | |
| OCaml | 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.
coq-of-ocaml
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
Coq of OCaml is a good example of how I want it to be for rust
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?
kani - Kani Rust Verifier
nsq - A realtime distributed messaging platform
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
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]
coq2rust - Coq to Rust program extraction. The whole tree is on the original Coq code base.
roapi - Create full-fledged APIs for slowly moving datasets without writing a single line of code.
jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
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
sqlc - Generate type-safe code from SQL
cache - Cache dependencies and build outputs in GitHub Actions