coq-of-ocaml
LucidMQ
Our great sponsors
coq-of-ocaml | LucidMQ | |
---|---|---|
1 | 4 | |
237 | 27 | |
1.7% | - | |
4.8 | 7.6 | |
3 months ago | 8 months ago | |
OCaml | Rust | |
MIT License | 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.
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
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?
kani - Kani Rust Verifier
coq2rust - Coq to Rust program extraction. The whole tree is on the original Coq code base.
supervisionary - The Supervisionary proof-checking kernel for higher-order logic
tinybase - The reactive data store for local‑first apps.
jax - Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more
sycamore - A library for creating reactive web apps in Rust and WebAssembly
wasmer - 🚀 The leading Wasm Runtime supporting WASIX, WASI and Emscripten
sqlc - Generate type-safe code from SQL
cranelift-jit-demo - JIT compiler and runtime for a toy language, using Cranelift