gioser

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.

Rust 24Markdown 14TOML 1358 Sutichaykuna

⎇ main src/tarski.rs Pi imata llamkarqan Qillqa

Sapa sutichay qhipa t'ikrayninwan, mana sapa siq'iwanchu: pi, hayk'aq, paqarirqanchu, ukhunpi t'ikrakurqanchu, silq'uyninpi t'ikrakurqanchu utaq huk sutiyuq karqanchu.

SutichaykunaQhipa t'ikrayPi
type Cochain pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
struct LatticeSheaf pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn new pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
struct TarskiLaplacian pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn new pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn step pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
def MAX_STEPS paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn harmonize pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn harmonize_with_steps pub paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
mod tests paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn triangulo paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn triangulo_de_reticulos_no_tiene_obstruccion paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn reset_incompatible_colapsa_a_top paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin
fn converge_en_tiempo_finito_a_punto_fijo paqarirqan T6: Laplaciano de Tarski y difusión a punto fijoSergio · ⟲ Sutichaypa ñawpa willaynin

qillqap qhipa 1 t'ikrayninkuna qhawasqa karqan