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
- gf2.rs5.2 KB
- lattice.rs8.7 KB
- lib.rs1.2 KB
- linalg.rs7.2 KB
- main.rs4.4 KB
- native.rs4.0 KB
- nerve.rs1.0 KB
- oracle.rs14.1 KB
- sheaf.rs5.1 KB
- tarski.rs7.2 KB
- verdict.rs6.3 KB