KiCad boards from 1 GitHub repository tagged “64k”, the most starred first; open any of them in PCBKit.
robotman2412/PX16
Pixie 16, taking RISC to the extreme.