LucidMQ
coq2rust
Our great sponsors
LucidMQ | coq2rust | |
---|---|---|
4 | 1 | |
27 | 216 | |
- | - | |
7.6 | 10.0 | |
8 months ago | over 9 years ago | |
Rust | OCaml | |
MIT License | GNU Lesser General Public License v3.0 only |
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.
LucidMQ
-
Cap'n Proto 1.0
I'm using Cap'N Proto in a message broker application(LcuidMQ) I'm building for serialization. It has allowed me to created client applications rather quickly. There are some quirks can be difficult to wrap your head around, but once you understand it is really solid.
There are some difference between the language libraries and documentation can be lacking around those language specific solutions. I'm hoping to add blog articles and or contribute back to the example of these repositories to help future users in the future.
Check out my repo here for how I use it across Rust and Python, with Golang coming soon: https://github.com/lucidmq/lucidmq
-
TinyBase v2.0: “the reactive data store for local-first apps”
I've been working on something that may fit your criteria. The API is kafka-like and it's whole goal is to provide an easy to use local-first stream datastore/data-engine.
It currently only has support for Rust and Python clients but working on expanding to node(JS) and C/C++ in the future.
https://github.com/lucidmq/lucidmq
- Released my first Python Library: LucidMQ
-
What is a really cool thing you would want to write in Rust but don't have enough time, energy or bravery for?
If you're interested, check out the repo. Feedback is much appreciated to make this useful: https://github.com/bdkiran/lucidmq
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.
What are some alternatives?
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
tinybase - The reactive data store for local‑first apps.
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
sycamore - A library for creating reactive web apps in Rust and WebAssembly
sqlc - Generate type-safe code from SQL
coq-of-ocaml - Formal verification for OCaml
Enzyme - High-performance automatic differentiation of LLVM and MLIR.
yew - Rust / Wasm framework for creating reliable and efficient web applications
FFmpeg - Mirror of https://git.ffmpeg.org/ffmpeg.git