#

typed-ontology

Here are 2 public repositories matching this topic...

hyperpolymath / unified-dataset-vocab

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

open-source reproducible-research ontology standards specification nickel formal-verification research-software machine-readable hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing equivalence-aware-computing typed-provenance typed-ontology dataset-vocabulary

Updated Oct 9, 2026
Shell

hyperpolymath / metadata-grammar

Formal, integrated metadata framework succeeding VoID, Dublin Core, and DCAT - compositional grammar with Idris2 proofs and verisimdb integration

open-source database ontology standards specification nickel formal-verification machine-readable hyperpolymath epistemic-infrastructure metadata-governance epistemic-computing veridical-computing equivalence-aware-computing typed-provenance typed-ontology

Updated Oct 10, 2026
Nickel

Add this topic to your repo

To associate your repository with the typed-ontology topic, visit your repo's landing page and select "manage topics."