katara
database-stream-processor
| katara | database-stream-processor | |
|---|---|---|
| 4 | 3 | |
| 130 | 208 | |
| 0.0% | - | |
| 0.7 | 9.7 | |
| about 1 year ago | 12 months ago | |
| Python | Rust | |
| Apache License 2.0 | GNU General Public License v3.0 or later |
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.
katara
-
Hydroflow: Dataflow Runtime in Rust
Oh, I realize this comes out the Hydro Project that produced a previous HN submission I thought was cool:
Katara is a project to synthesize CRDTs from a C++ implementation of a regular plain-old data structure along with a few annotations
https://news.ycombinator.com/item?id=32977887
https://github.com/hydro-project/katara
-
This Week In Python
katara – Synthesize CRDTs from classic data types with verified lifting
- Katara: Synthesize CRDTs from Sequential Types
- Katara: Synthesizing CRDTs with Verified Lifting
database-stream-processor
- Hydroflow: Dataflow Runtime in Rust
- Database Stream Processor: Streaming and Incremental Computation Framework
-
Differential Datalog: a programming language for incremental computation
We still have customers using DDlog, so we fix issues as they come up, but not working on any new features.
[1]: https://github.com/vmware/database-stream-processor
What are some alternatives?
puff - ☁ Puff ☁ - The deep stack framework.
hydroflow - Hydro's low-level dataflow runtime
koda-validate - Typesafe, Composable Validation
datafrog - A lightweight Datalog engine in Rust
django-pgtransaction - A context manager/decorator which extends Django's atomic function with the ability to set isolation level and retries for a given transaction.
psac - Parallel Self-Adjusting Computation
differential-dataflow - An implementation of differential dataflow using timely dataflow on Rust.
differential-dataflow - An implementation of differential dataflow using timely dataflow on Rust.
differential-datalog - DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
metalift - A program synthesis framework for verified lifting applications
reactor-core - Non-Blocking Reactive Foundation for the JVM