GitHub repository: theGreenJedi/FormalSystems
Primary language: Python
Description: A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"