GitSocial · Repository PassportCOMPLETED · 2026-09-29Z

unified-dataset-vocab hyperpolymath · COMPLETED

Formal vocabulary definitions and taxonomies for datasets — Idris2-typed proofs with Zig FFI for cross-language consumption.

github.com/hyperpolymath/unified-dataset-vocab · ★ 5 · Forks 0 · Size 534 KB

SUMMARY

Technologies 6
Scored 6
Observed 6
Practices 6
Evidence 6
Skips 0

COVERAGE

Analyzed 113 files · 225 commits · 0 API calls

TECHNOLOGIES & DEPTH

Shell LANGUAGE Depth 70
3 files · PRODUCTION
JSON LANGUAGE Depth 70
4 files · PRODUCTION
TOML LANGUAGE Depth 70
2 files · PRODUCTION
YAML LANGUAGE Depth 70
19 files · PRODUCTION
Prettier QUALITY Depth 58
1 files · CONFIGURATION
Redis CACHE Depth 65
1 files · CONFIGURATION

PRACTICES

documentation · observedautomated_tests · observedcontinuous_integration · observedcontainerization · absentlinting · absentformatting · observed

ACTIVITY & OWNERSHIP

First commit 2025-12-07
Last commit 2026-09-25
Active months 10
Commits 225

View on GitHub · GitSocial