D

distributed-systems

Bringing into the world what internet was always supposed to be. https://atlas-protocol.com

Production AI defense with 7-layer protection: mathematical constraints, object-capability access, distributed O2 consensus, SVETILO ethics. First open-source ThoughtVirus defense. BSL 1.1.

Proof of correctness of sequential programs using Hoare's logic; introduction to Calculus of Communicating System (CCS) and Petri's nets, two formalisms to model concurrent and distributed system; model checking of WFFs of two temporal logics (LTL and CTL) on Kripke's models.

Cross-platform TypeScript contract layer: Zod API schemas, deterministic conflict resolution, cursor-based sync configuration, SHA-256 payload hashing, and health metric definitions for offline-first distributed systems

THEXCAD é uma ferramenta desenvolvida no Laboratório de Sistemas Distribuídos (LaSiD) por Maxwell, mestrando do Programa de Pós-Graduação em Mecatrônica (PPGM) da Universidade Federal da Bahia (UFBA). Ela permite a prototipagem e simulação de cobertura de área com múltiplos Veículos Aéreos Não Tripulados (VANTs). O principal objetivo do THEXCAD é oferecer um ambiente controlado para o desenvolvimento e teste de algoritmos de planejamento de caminho de cobertura (CPP), facilitando a pesquisa e implementação em cenários reais. A plataforma aborda desafios como a coordenação entre veículos e a alocação de tarefas, permitindo a avaliação de diferentes estratégias de CPP.

Distributed Lock to execute Mutual Exclusion of a Shared Resource in a Microservice Architecture

SeaweedFS is a fast distributed storage system for blobs, objects, files, and data lake, for billions of files! Blob store has O(1) disk seek, cloud tiering. Filer supports Cloud Drive, cross-DC active-active replication, Kubernetes, POSIX FUSE mount, S3 API, S3 Gateway, Hadoop, WebDAV, encryption, Erasure Coding.

https://github.com/chrislusf/seaweedfs.wiki.git

intra-cloud Lightning Magic is a web-browser driven by intra-cloud Lightning for Professionals language scripts.