3 dépôts
Frameworks that enforce strict property requirements and data integrity for structured data objects using compile-time type checking.
Distinct from Structured Types: Distinct from Structured Types: focuses on the framework-level enforcement of schema requirements for metadata generation rather than just the construction of nested struct types.
Explore 3 awesome GitHub repositories matching data & databases · Type-Safe Structured Data Frameworks. Refine with filters or upvote what's useful.
msgspec is a high-performance data modeling, serialization, and schema validation toolkit for Python. It serves as a type-safe serialization framework that integrates schema enforcement and data parsing into a single pass, functioning as both a data serialization library and a schema validation system based on standard Python type annotations. The project distinguishes itself through high-performance structural primitives, including compilation-based routine generation and zero-copy buffer parsing. It optimizes memory usage via garbage collection-aware layouts and reduces processing overhead
Integrates schema enforcement and data parsing into a single pass to achieve near-native execution speeds.
Schema-dts is a type-safe library providing TypeScript interfaces for modeling structured data and interconnected graph relationships. It serves as a framework for defining and enforcing strict property requirements for JSON-LD objects, ensuring that metadata generated for web applications and search engines adheres to established vocabulary standards. The project distinguishes itself by providing a comprehensive set of definitions for the Schema.org vocabulary, enabling developers to build complex, machine-readable data graphs with compile-time validation. It supports the composition of mult
Enforces strict property requirements and data integrity for machine-readable metadata through a type-safe framework.
Cette bibliothèque est un framework de traitement de données pour la JVM qui fournit un environnement typé pour manipuler des données tabulaires structurées. Elle fonctionne comme un ensemble d'outils complet pour effectuer des transformations de données complexes, des agrégations et des analyses statistiques, tout en tirant parti de la validation de schéma à la compilation pour garantir l'intégrité structurelle des pipelines de données. Le projet se distingue par son intégration poussée avec les environnements de notebooks interactifs et son utilisation de la génération de code à la compilation. En dérivant et en appliquant automatiquement des schémas à partir d'entrées brutes, il génère des accesseurs typés qui permettent l'autocomplétion dans l'IDE et la vérification statique des noms de colonnes. Cette architecture permet aux développeurs d'effectuer un traitement de pipeline fonctionnel tout en maintenant une sécurité de type stricte, prévenant ainsi efficacement les erreurs d'exécution lors de la manipulation des données. La bibliothèque prend en charge un large éventail de flux de travail de données, y compris l'importation et le mappage de schémas de bases de données relationnelles, l'analyse géospatiale et l'exécution de pivotements de données complexes. Elle inclut des utilitaires étendus pour la construction, le filtrage, le tri et le calcul de statistiques descriptives. De plus, le framework offre des capacités robustes de visualisation et de reporting, permettant aux utilisateurs de rendre des tableaux HTML interactifs, de composer des documents et de générer des graphiques directement à partir de jeux de données structurés. La bibliothèque est conçue pour une utilisation fluide dans les environnements de développement Kotlin et Java, avec un support spécialisé pour la gestion automatisée des dépendances et l'intégration du noyau dans les notebooks interactifs.
Enforces strict property requirements and data integrity for structured data objects using compile-time type checking.