PrototypeCommon
hydro-project/katara
Synthesize CRDTs from classic data types with verified lifting!
- Owner
- hydro-project (organization)
- Stars
- Stars: 149
- Forks
- Forks: 3
- Language
- Python
- License
- Apache-2.0
- Created
- 2022
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by hydro-project
All 7 repos by hydro-project- hydro-project/hydroStars: 1,503RustBeta
- hydro-project/fluentStars: 1,212C++Beta
- hydro-project/rust-sitterStars: 728RustBeta
- hydro-project/annaStars: 708C++Beta
- hydro-project/infinityStars: 537RustAlpha
- hydro-project/cloudburstStars: 246PythonPrototype
Nearby in Python
All Python repos- AllSpark-Research/AdaptEvoStars: 149PythonPrototype
- DialingSpoon527/seedsow-lua-editorStars: 149PythonPrototype
- PlantCraft/PlantCraftStars: 149PythonPrototype
- halhen/statnotStars: 149PythonPrototype
- bradfitz/scanningcabinetStars: 149PythonPrototype
- digitalfox/pydiciStars: 149PythonPrototype