3 repositorios
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.
Esta librería es un framework de procesamiento de datos para la JVM que proporciona un entorno con seguridad de tipos para manipular datos tabulares estructurados. Funciona como un conjunto de herramientas integral para realizar transformaciones de datos complejas, agregaciones y análisis estadístico, aprovechando la validación de esquemas en tiempo de compilación para garantizar la integridad estructural en los pipelines de datos. El proyecto se distingue por su profunda integración con entornos de notebooks interactivos y su uso de generación de código en tiempo de compilación. Al derivar y aplicar esquemas automáticamente a partir de entradas sin procesar, genera descriptores de acceso con seguridad de tipos que permiten el autocompletado en el IDE y la verificación estática de nombres de columnas. Esta arquitectura permite a los desarrolladores realizar procesamiento de pipelines funcional manteniendo una estricta seguridad de tipos, evitando eficazmente errores en tiempo de ejecución durante la manipulación de datos. La librería admite una amplia gama de flujos de trabajo de datos, incluyendo la importación y mapeo de esquemas de bases de datos relacionales, la realización de análisis geoespaciales y la ejecución de pivotes de datos complejos. Incluye amplias utilidades para la construcción, filtrado, ordenamiento y cálculo de estadísticas descriptivas de datos. Además, el framework proporciona capacidades robustas de visualización y generación de informes, permitiendo a los usuarios renderizar tablas HTML interactivas, componer documentos y generar gráficos directamente a partir de conjuntos de datos estructurados. La librería está diseñada para un uso fluido dentro de entornos de desarrollo Kotlin y Java, con soporte especializado para la gestión automatizada de dependencias e integración de kernels en notebooks interactivos.
Enforces strict property requirements and data integrity for structured data objects using compile-time type checking.