PrototypeCommune
hydro-project/katara
Synthesize CRDTs from classic data types with verified lifting!
- Propriétaire
- hydro-project (organisation)
- Étoiles
- Étoiles : 148
- Forks
- Forks : 3
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2022
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de hydro-project
Les 7 dépôts de hydro-project- hydro-project/hydroÉtoiles : 1 488RustBêta
- hydro-project/fluentÉtoiles : 1 212C++Bêta
- hydro-project/rust-sitterÉtoiles : 727RustBêta
- hydro-project/annaÉtoiles : 708C++Bêta
- hydro-project/infinityÉtoiles : 438RustAlpha
- hydro-project/cloudburstÉtoiles : 246PythonPrototype
D’autres dépôts Python
Tous les dépôts Python- aaddrick/building-with-typesafe-jevÉtoiles : 148PythonPrototype
- KohakuBlueleaf/KohakuMossTrainerÉtoiles : 148PythonPrototype
- smarkyie/NSP-BoxÉtoiles : 148PythonPrototype
- ntt/eveapiÉtoiles : 148PythonPrototype
- neuroo/grabberÉtoiles : 148PythonPrototype
- TkTech/BurgerÉtoiles : 148PythonPrototype