Peter-H-Meadows
Altruism, Synergy, Live-in hackerBases, DIY-bio, Anarchy, Sovereignty, Micronation, Gift economy
UK
Pinned Repositories
Glamorous-Lambda-Songbirds
Animated Lambda calculus
gt-tess
GtMetamath
Metamath logic game
gtoolkit
Glamorous Toolkit is the moldable development environment. It is a live notebook. It is a flexible search interface. It is a fancy code editor. It is a software analysis platform. It is a data visualization engine. All in one.
Peter-H-Meadows
Config files for my GitHub profile.
sans
sans
set-viz
Peter-H-Meadows's Repositories
Peter-H-Meadows/GtMetamath
Metamath logic game
Peter-H-Meadows/Glamorous-Lambda-Songbirds
Animated Lambda calculus
Peter-H-Meadows/gtoolkit
Glamorous Toolkit is the moldable development environment. It is a live notebook. It is a flexible search interface. It is a fancy code editor. It is a software analysis platform. It is a data visualization engine. All in one.
Peter-H-Meadows/Peter-H-Meadows
Config files for my GitHub profile.
Peter-H-Meadows/sans
sans
Peter-H-Meadows/set-viz
Peter-H-Meadows/gt-tess