Ethersync - Echtzeit-Kollaboration in deinem Texteditor
Entdecke Ethersync: Revolutionäre Echtzeit-Kollaboration für lokale Dateien. Erlebe nahtlose Zusammenarbeit in deinem bevorzugten Texteditor, ähnlich wie Etherpad, aber mit voller Kontrolle über deine Daten.
Secure RDTs: Enforcing Access Control Policies for Offline Available JSON Data
Explore Secure RDTs for enforcing role-based access control on offline-available JSON data, enhancing security in applications with intermittent network connectivity.
Conflict-Free Replicated Data Types (CRDTs) in Distributed Systems
Explore Conflict-Free Replicated Data Types (CRDTs) for building distributed systems, covering theory, implementation, and practical applications in collaborative and local-first software.
Modular Verification of Op-Based CRDTs in Separation Logic
Explore modular verification of op-based CRDTs using separation logic. Learn about Reliable Causal Broadcast and OpLib for simplified CRDT implementation and correctness proofs.
Mixed and Verified Consistency with Propel and ConOpY
Explore mixed consistency in distributed systems using ConOpY language and Propel type system for verifying CRDTs, enhancing data replication and local-first applications.
Conflict-Free Replicated Data Types (CRDTs) - April 2022
Explore Conflict-free Replicated Data Types (CRDTs) in distributed systems, understanding their principles, applications, and implementation challenges.
Making CRDTs Byzantine Fault Tolerant
Explore techniques for enhancing Conflict-free Replicated Data Types (CRDTs) to withstand Byzantine faults, improving distributed system resilience and reliability.
Type-Checking CRDT Convergence
Explore Propel, a language with a type system for verifying algebraic properties in CRDT implementations. Learn about its case analysis and induction approach for ensuring correctness.
CRDTs Illustrated
Explore CRDTs for partition-tolerant applications, covering concepts, implementation methods, and real-world examples in distributed storage and offline-friendly web apps.
Distributed, Eventually Consistent Computations
Explore Lasp, a new programming model for distributed computations, combining convergent data structures with dataflow execution for large-scale applications with limited connectivity and unreliable networks.
Offline First Computing in an Online World
Explore offline-first computing using CRDTs and DDS for distributed applications. Learn to build systems that work locally and synchronize seamlessly, enabling serverless infrastructure and real-time updates.
Using CRDTs to Build a Highly Available Decentralized Service
Explore CRDTs for building decentralized services in Go, covering implementation, advantages, and practical applications in distributed systems.
What CRDTs, Distributed Editing and the Speed of Light Means to Your Writer Friends
Explore how CRDTs and distributed editing enable offline collaboration for writers, empowering digital nomads to work together anywhere, even atop Half Dome.
Living in Eventually Consistent Reality
Explore eventual consistency, CRDTs, and their role in geo-distributed databases. Learn how these structures work and their benefits for highly available systems.
Extending Automerge: Undo, Redo, and Move Operations - PLF23
Explore advanced techniques for collaborative editing: implement undo/redo functionality and move operations in CRDTs, enhancing real-time document synchronization and user experience.