01Verification tools for descent conditions and categorical Künneth formulas
02Bridging condensed/pyknotic structures to cellular sheaf Laplacian coordination
03ACSet schema generation for algebraic databases of condensed structures
04Modeling 6-functor formalisms (f_*, f^*, f_!, f^!, Hom, ⊗) for analytic stacks
05Implementation of Liquid and Solid vector space completions for r-liquid norms
062 GitHub stars