tawasuyu/hifas
Motor en Rust para decidir, con demostración y no a ojo, cuándo un conjunto de réplicas local-first puede operar sin coordinación y cuándo no — y, cuando la respuesta es "sí, dentro de límites", proveer el mecanismo que lo garantiza.
- ..
- cell.rs4.9 KB
- cohomology.rs4.9 KB
- error.rs772 B
- escrow.rs6.9 KB
- gf2.rs5.2 KB
- invariant.rs11.6 KB
- lattice.rs8.7 KB
- lib.rs1.2 KB
- linalg.rs7.2 KB
- main.rs5.6 KB
- native.rs4.0 KB
- nerve.rs2.2 KB
- oracle.rs16.1 KB
- router.rs7.5 KB
- sheaf.rs5.1 KB
- tarski.rs7.2 KB
- verdict.rs7.1 KB