katara
puff
katara | puff | |
---|---|---|
4 | 9 | |
130 | 318 | |
0.0% | - | |
0.7 | 0.0 | |
about 1 year ago | over 1 year ago | |
Python | Rust | |
Apache License 2.0 | 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.
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
puff
- Adding Distributed Tasks to Puff: Schedule and Prioritize Function Calls across Nodes
-
This Week In Python
puff – run (and extend) Python code as Rust greenlet (on Tokio)
-
Announcing Puff - A hybrid Rust/Python Framework to build Apps for the Cloud
Puff Repo
- Puff - Deep Stack Framework - A hybrid Rust/Python Experiment - WSGI/ASGI/asyncio/greenlet runtime for Python with deep Rust integrations
- Puff 0.1.1 with ASGI, AsyncIO and uvloop support - Build high-performance hybrid async Tokio Rust and Python programs
- Puff: Run (and extend) Python code as Rust greenlet (on Tokio)
-
Puff - Python GraphQL engine and WSGI Runtime - Use Django on Rust's Tokio
I wanted to share with you my recent experiment for Django, Puff: https://github.com/hansonkd/puff
- Puff - A Framework for making it seamless to build a hybrid Rust/Python/Django application using greenlets and Tokio
- Announcing Puff - Run Django / Flask / Python on Greenlets using Rust's Tokio.
What are some alternatives?
database-stream-processor - Streaming and Incremental Computation Framework
koda-validate - Typesafe, Composable Validation
Poetry - Python packaging and dependency management made easy
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.
hydroflow - Hydro's low-level dataflow runtime
puff-py - Puff Python Library
differential-dataflow - An implementation of differential dataflow using timely dataflow on Rust.
Twitter_Banner_Autoupdater - Twitter banner autoupdater using Tweepy Python module and the Twitter API
metalift - A program synthesis framework for verified lifting applications