coq2rust
fluvio
| coq2rust | fluvio | |
|---|---|---|
| 1 | 26 | |
| 216 | 2,663 | |
| - | 3.1% | |
| 10.0 | 9.5 | |
| over 9 years ago | about 13 hours ago | |
| OCaml | Rust | |
| GNU Lesser General Public License v3.0 only | 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.
coq2rust
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
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.
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?
LucidMQ - Simple Ops Event Streaming. Alternative to Kafka and RabbitMQ
nsq - A realtime distributed messaging platform
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
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]
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
roapi - Create full-fledged APIs for slowly moving datasets without writing a single line of code.
coq-of-ocaml - Formal verification for OCaml
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.
Enzyme - High-performance automatic differentiation of LLVM and MLIR.
rust-blog - Educational blog posts for Rust beginners
FFmpeg - Mirror of https://git.ffmpeg.org/ffmpeg.git
cache - Cache dependencies and build outputs in GitHub Actions