alexprengere/FormalSystems

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

625

PythonApache License 2.0

python

View on GitHub

Stars

625

Updated

Nov 7, 2025

Stars Over Time

Top Contributors

zeaphoo

1 contributions

wigust

1 contributions

pipetus

1 contributions

nickosmark

1 contributions

flyaroundme

1 contributions

denizhanpak

1 contributions

ymn1k

1 contributions

glossner

1 contributions

patrickschu

1 contributions

Nimishdwarakanath

1 contributions

tomming

1 contributions

cvic

1 contributions

gwerbin

1 contributions

apiyron

1 contributions

nlpet

1 contributions

greed2411

1 contributions

maxc01

1 contributions

mklemm2

1 contributions

pranjaldhole

1 contributions

henry-eigen

1 contributions

jonathanegol

1 contributions

schedutron

1 contributions

kuwze

1 contributions

floer32

1 contributions

studiovc

1 contributions

coolharsh55

1 contributions

gjoncas

1 contributions

Grin941

1 contributions

do0g

1 contributions

janety

1 contributions

aleSuglia

1 contributions

gmarmstrong

1 contributions

g3ngoric

1 contributions

PedroDnT

1 contributions

damonclifford

1 contributions

tayvz

1 contributions

victor-lf

1 contributions

claudiouzelac

1 contributions

Kritikalcoder

1 contributions

tusharbihani

1 contributions

yining

1 contributions

matteobrv

1 contributions

FranzHell

1 contributions

jay3ss

1 contributions

HariharasudhanAS

1 contributions

onjas-6

1 contributions

Benjaminimal

1 contributions

rocketdan97

1 contributions

dbadrian

1 contributions

Franceshe

1 contributions

chinmaykunkikar

1 contributions

Alex-Linhares

1 contributions

LSaldyt

1 contributions

dlnan

1 contributions

hashanp

1 contributions

ex0dus-0x

1 contributions

ColeShelly

1 contributions

0xasim

1 contributions

nicolapace

1 contributions

almayor

1 contributions

robertocabellon

1 contributions

Abhis16

1 contributions

pcmariani

1 contributions

kbiondi

1 contributions

jon-chun

1 contributions

alfarok

1 contributions

abc00

1 contributions

rhudock

1 contributions

iacobucci

1 contributions

Ed94

1 contributions

wlkeith

1 contributions

edogab33

1 contributions

vovavili

1 contributions

giulianopz

1 contributions

dmar1n

1 contributions

MilleniumSpark

1 contributions

idesmukh

1 contributions

Skypacer9

1 contributions

matteatsleftovers

1 contributions

notTJ

1 contributions

Kaiters56

1 contributions

Murplugg

1 contributions

BioGeek

1 contributions

4gwe

1 contributions

KurtMauritsJohann

1 contributions

jsigman

1 contributions

BMaxV

1 contributions

zhuonizhang

1 contributions

albinjal

1 contributions

Synadri

1 contributions

syrkis

1 contributions

nothsm

1 contributions

neuzlk

1 contributions

A-

a-peirogon

1 contributions

detectiv404

1 contributions

paolo-boccaccio

1 contributions

gkju

1 contributions

sslit

1 contributions

AlkaiDynamics

1 contributions

veyselusta

1 contributions

Related Repositories

Track developers from alexprengere/FormalSystems

Join 1,000+ companies finding quality developer leads