01Naturality verification to ensure compositional coherence in complex systems
02Advanced graph grafting for attaching rooted trees to existing vertices
032 GitHub stars
04Tree-shape decision making via bag decomposition for queryable graphs
05GF(3) sheaf-based 3-coloring for complex verification and partitioning
06Derangement operations for fixed-point-free permutations in data structures