4 Repos
Frameworks for constructing data models using tuples, records, and union types to enforce structural integrity.
Distinct from Tuple Data Structures: Distinct from tuple data structures: focuses on the holistic modeling of structured data using records and union types rather than just tuple storage.
Explore 4 awesome GitHub repositories matching data & databases · Structured Data Modeling. Refine with filters or upvote what's useful.
Bosque ist eine experimentelle Programmiersprache und Entwicklungsplattform, die für maschinengestützte Softwarekonstruktion entwickelt wurde. Sie kombiniert funktionale Programmiersemantik mit imperativer Syntax, um logische Korrektheit und Laufzeitsicherheit zu erzwingen, und bietet eine typsichere Umgebung, die strukturierte Datenmodelle nutzt, um die Informationsintegrität über den gesamten Anwendungslebenszyklus hinweg zu wahren. Die Plattform zeichnet sich durch eine tiefe Integration mit formalen Verifizierungstools aus, einschließlich automatisierter Theorem-Prover und symbolischer Ausführungs-Engines. Durch die Transformation von Quellcode in eine regularisierte Zwischenrepräsentation ermöglicht das System automatisiertes Schlussfolgern, um das Fehlen von Laufzeitfehlern und Logikverletzungen zu beweisen. Zudem ist die Laufzeitumgebung auf vorhersagbare Performance ausgelegt und nutzt einen spezialisierten Interpreter, der Garbage-Collection-Pausen eliminiert, um eine konsistente Ausführungslatenz zu gewährleisten. Das Projekt bietet eine umfassende Suite von Tools für die Entwicklung mit hoher Zuverlässigkeit, die Projekt-Paketmanagement, Abhängigkeitsverfolgung und automatisierte Code-Eigenschaftsverifizierung abdeckt. Es unterstützt zudem sprachunabhängiges Schnittstellendesign, was es Entwicklern ermöglicht, gemeinsame Datenstrukturen und Service-Verträge zu definieren, die eine konsistente Validierung über verschiedene Softwarekomponenten hinweg sicherstellen.
Supports constructing structured data models using tuples, records, and union types to enforce consistent shapes and structural integrity.
Dieses Projekt ist das Kern-Management-Framework für eine Sicherheits-Appliance und bietet die primäre Infrastruktur für Firewall-Management, Netzwerkeindringungsschutz und Hochverfügbarkeits-Networking. Es dient als zentrales System zur Steuerung von Netzwerksicherheitsrichtlinien, zur Filterung von Datenverkehr und zur Verwaltung des Dashboards der Sicherheits-Appliance. Das System zeichnet sich durch seine Hochverfügbarkeitsfunktionen aus, die die Synchronisierung von Konfigurationen und Verbindungszustandstabellen über redundante Knoten hinweg umfassen, um ein automatisches Hardware-Failover zu ermöglichen. Es bietet zudem eine modulare Plugin-Architektur zur Erweiterung von Backend-Logik und Benutzeroberflächen sowie eine JSON-basierte API für das programmatische Management von Firewall-Regeln und Systemeinstellungen. Die Plattform deckt ein breites Spektrum an Funktionsbereichen ab, einschließlich Netzwerkkonfiguration für IPv4 und IPv6, sicheres VPN-Tunneling, Captive-Portal-Administration sowie umfassende Monitoring- und Observability-Tools. Sie integriert zudem Identitätsmanagement mit Multi-Faktor-Authentifizierung und bietet Tools für Konfigurations-Backups, Versionsverfolgung und Deployment auf x86-64-Hardware.
Creates structured data entities with custom field types to manage system configuration and operational state.
TypeDB ist eine stark typisierte Graphdatenbank und ein Knowledge-Graph-Managementsystem. Es dient als Multi-Modell-Datenspeicher, der relationale, Dokument- und Graphstrukturen in einer einzigen Umgebung vereint und sowohl als ACID-konforme Datenbank als auch als deklarative Abfrage-Engine fungiert. Das System zeichnet sich durch die Verwendung von n-ären Hypergraph-Modellen und polymorphen Typ-Hierarchien aus. Es verwendet ein stark typisiertes Schema, um strukturelle Regeln durchzusetzen und die Datenintegrität zu validieren, was typbasierte polymorphe Inferenz und rollenbasierte Interface-Polymorphie ermöglicht, um komplexe Beziehungen während der Abfrageausführung automatisch aufzulösen. Die Plattform deckt ein breites Spektrum an Funktionen ab, einschließlich der Berechnung rekursiver Beziehungen mittels Tabling, Snapshot-Isolation-Transaktionen und deklarativem Datenabruf. Sie unterstützt zudem Hochverfügbarkeit durch konsensbasierte Cluster-Replikation, rollenbasierte Zugriffskontrolle und die Integration mit KI-Agenten für den strukturierten Datenabruf. Die Verwaltung wird über eine Kommandozeilenschnittstelle unterstützt, und das System bietet Tools zur Visualisierung von Graph-Schemata sowie zur Prüfung administrativer Aktivitäten.
Enables the construction of strongly-typed data models using entities and relations to enforce structural integrity.
The reverse-linear-sync-engine is a data synchronization framework designed to manage distributed application state. It provides a system for tracking local data mutations, resolving discrepancies between multiple sources, and maintaining consistency across connected clients through a centralized transaction-based model. The engine distinguishes itself by integrating reactive state observation with a transaction history stack. This combination allows the framework to automatically refresh interface components when data changes while simultaneously enabling precise undo and redo functionality.
Automates data validation and storage through metadata-driven model definitions.