Promovió activamente la máquina analítica, y escribió varios programas para la máquina analítica.