01Tritwise interaction balancing via GF(3) arithmetic
02Dendroidal Segal space implementation for ∞-operads
03Lazy ACSet materialization for on-demand part computation
042 GitHub stars
05DuckDB integration for persistent topological and algebraic views
06Unification of Effective, Realizability, and Grothendieck topoi