>The circuit board already uses programmatic alignment for placing the switches and diodes: https://github.com/technomancy/atreus/blob/master/atreus.rkt
Advances like these, especially the last one, are where I hoped state-of-the-art keyboard design would be headed. Amazing work!
In the same vein, I have found an interesting python library that's capable of generating KiCAD circuits: https://xesscorp.github.io/skidl/docs/_site/