01Composable 'Open ACSets' for modular system design via pushouts
02Schema-driven data structure generation for relational and graph data
03Integration with GF(3) conservation for specialized topological computing
047 GitHub stars
05Functional higher-order operations (map, filter, fold) over ACSet parts
06Symmetric and reflexive graph modeling with formal categorical guarantees