a library for programming minds