Awesome GitHub RepositoriesStore Consistency Validation

FoundationDB is an ACID-compliant distributed transactional key-value store. It functions as a scalable database engine that ensures strict serializability and data consistency across a cluster of servers using a shared-nothing architecture. The system is distinguished by its multi-region replication capabilities, allowing data to be synchronized across different datacenters for high availability and disaster recovery. It utilizes optimistic concurrency control to manage distributed transactions and employs a majority-based coordination system to maintain cluster state. The platform provides

bup is a deduplicating backup manager and incremental backup system. It uses a Git packfile-based storage format to eliminate redundant data across files and versions, treating every incremental save as a full backup. The system provides secure remote transport interfaces for transferring and managing backup data on remote servers via SSH. It also includes a backup repository browser available as both a web interface and a filesystem mount for exploring and retrieving files from snapshots. The project covers broad capability areas including disaster recovery, repository administration, and s

Materialize is a streaming SQL database that continuously ingests live data from sources such as Kafka, Redpanda, PostgreSQL, and MySQL, and incrementally maintains materialized views. It provides a PostgreSQL-compatible query engine that accepts standard SQL over the PostgreSQL wire protocol, enabling any existing SQL client or BI tool to query real-time data. The system also includes a Model Context Protocol (MCP) server that exposes live materialized view data to AI agents, providing fresh context without polling. Materialize distinguishes itself through its ability to offer configurable c

Lamp Cloud is a multi-tenant SaaS backend framework built on Java and Spring Cloud that provides a complete foundation for building enterprise-grade administration systems. Its core identity centers on supporting multiple tenant isolation strategies—including database-per-tenant, schema-per-tenant, and shared-table modes—that can be switched without altering business code, alongside a role-based access control system enforced at the gateway layer across all microservices. The framework distinguishes itself through comprehensive tenant lifecycle management tools that allow creating, configurin

Disconf es una plataforma de gestión de configuración distribuida que proporciona un repositorio centralizado en la nube para almacenar y sincronizar archivos de configuración y ajustes en múltiples entornos. Funciona como un servicio de configuración dinámica que actualiza los ajustes de la aplicación y activa callbacks inmediatamente cuando los valores cambian, sin requerir un reinicio del sistema. El proyecto permite la distribución de activos de configuración compartidos entre múltiples proyectos, permitiendo la gestión masiva de ajustes en varios entornos objetivo. Utiliza un sistema de difusión basado en push para sincronizar cambios en tiempo real. Para garantizar la estabilidad del sistema, la plataforma incluye un validador de consistencia de configuración que realiza comprobaciones programadas en segundo plano para verificar que los ajustes activos del sistema permanezcan consistentes con la fuente central.

Direct File es una aplicación de declaración de impuestos federales diseñada para recopilar información de los contribuyentes y transmitir declaraciones de impuestos federales a una API gubernamental. Funciona como una herramienta de exportación de datos fiscales, permitiendo la transferencia de datos de declaraciones federales a través de XML o JSON a software de impuestos estatales y locales de terceros. El sistema utiliza un grafo de conocimiento declarativo para gestionar reglas de negocio complejas y conjuntos de datos parciales tanto en entornos de cliente como de servidor. La aplicación emplea un proceso impulsado por entrevistas para recopilar información y utiliza un sistema de exportación basado en esquemas para el intercambio de datos fiscales. Integra el almacenamiento y la sincronización de datos para modelar información incompleta y validar reglas de negocio en todos los entornos.