This reminds me of [self-promotion] https://github.com/kisonecat/countdot.hs which "algebraically" describes some patterns of dots.

Really cool project, and I love the idea of non-traditional algebras. Have you seen the one graph algebra before? https://github.com/snowleopard/alga

A