coq2rust
LucidMQ
coq2rust | LucidMQ | |
---|---|---|
1 | 4 | |
216 | 28 | |
- | - | |
10.0 | 7.6 | |
over 9 years ago | 8 months ago | |
OCaml | Rust | |
GNU Lesser General Public License v3.0 only | MIT License |
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.
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
What are some alternatives?
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
fluvio - Lean and mean distributed stream processing system written in rust and web assembly.
tinybase - The reactive data store for local‑first apps.
sycamore - A library for creating reactive web apps in Rust and WebAssembly
coq-of-ocaml - Formal verification for OCaml
sqlc - Generate type-safe code from SQL
Enzyme - High-performance automatic differentiation of LLVM and MLIR.
FFmpeg - Mirror of https://git.ffmpeg.org/ffmpeg.git
yew - Rust / Wasm framework for creating reliable and efficient web applications