4 个仓库
Awesome GitHub RepositoriesStructured Data Modeling
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.
Awesome Structured Data Modeling GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- microsoft/bosquelanguage
microsoft/BosqueLanguage
5,215在 GitHub 上查看Bosque is an experimental programming language and development platform designed for machine-assisted software construction. It combines functional programming semantics with imperative syntax to enforce logic correctness and runtime safety, providing a type-safe environment that utilizes structured data models to maintain information integrity throughout the application lifecycle. The platform distinguishes itself through deep integration with formal verification tools, including automated theorem provers and symbolic execution engines. By transforming source code into a regularized intermed
Supports constructing structured data models using tuples, records, and union types to enforce consistent shapes and structural integrity.
TypeScript - opnsense/core
opnsense/core
4,493在 GitHub 上查看该项目是安全设备的核心管理框架，为防火墙管理、网络入侵防御和高可用性网络提供主要基础设施。它作为控制网络安全策略、过滤流量和管理安全设备仪表板的集中式系统。 该系统以其高可用性功能而著称，包括在冗余节点之间同步配置和连接状态表，以实现自动硬件故障转移。它还具有用于扩展后端逻辑和用户界面的模块化插件架构，以及用于防火墙规则和系统设置程序化管理的基于 JSON 的 API。 该平台涵盖了广泛的功能领域，包括 IPv4 和 IPv6 的网络配置、安全 VPN 隧道、强制门户 (captive portal) 管理以及全面的监控和可观测性工具。它进一步集成了具有多因素身份验证的身份管理，并提供了用于配置备份、版本跟踪和跨 x86-64 硬件部署的工具。
Creates structured data entities with custom field types to manage system configuration and operational state.
PHPapibsdcaptive-portal - typedb/typedb
typedb/typedb
4,353在 GitHub 上查看TypeDB 是一款强类型图数据库和知识图谱管理系统。它作为多模型数据存储，将关系、文档和图结构统一到一个环境中，既充当 ACID 兼容数据库，又充当声明式查询引擎。 该系统通过使用 n 元超图建模和多态类型层级脱颖而出。它采用强类型模式来强制执行结构规则并验证数据完整性，允许在查询执行期间自动解析复杂关系的基于类型的多态推理和基于角色的接口多态性。 该平台涵盖了广泛的功能，包括通过制表（tabling）计算递归关系、快照隔离事务和声明式数据检索。它还通过基于共识的集群复制、基于角色的访问控制以及与 AI 代理的集成以进行结构化数据检索，支持高可用性。 管理通过命令行界面支持，系统提供用于可视化图模式和审计管理活动的工具。
Enables the construction of strongly-typed data models using entities and relations to enforce structural integrity.
Rustdatabaseinferenceknowledge-base - wzhudev/reverse-linear-sync-engine
wzhudev/reverse-linear-sync-engine
2,091在 GitHub 上查看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.
JavaScriptcollaborationdata-synclinear
