A compiler kernel that memoizes semantic queries, tracks fine-grained dependencies, and invalidates only facts affected by an edit.
dependency-graph local-first lossless-syntax-tree programming-languages-compilers semantic-query-engine revisioned-memo-store invalidation-explainer
-
Updated
Sep 18, 2026 - Python