Searching protocol for "acsets"
Bidirectional Lisp ↔ ACSet bridge.
Temporal versioning and ACSet schema generation for DuckDB.
Nix store modeled as ACSet for dependency verification.
Organize Drive as a typed ACSet database.
Bidirectional data navigation for Julia datasets.
∞-Operads with lazy ACSet materialization.
Unified Workspace automation via ACSet.
GF(3)-typed control for Docs/Sheets workflows.
Algebraic databases: category-theoretic data stores.
Turn math PDFs into LaTeX-ready data.
Deterministic, compositional schema comparison
Music theory in code with Rubato Composer.