NobleBlocks
    LoRe: A Programming Model for Verifiably Safe Local-first Software | NobleBlocks