https://www.redbubble.com/shop/ap/92458473
Andor Penzes
FP developer who applies formal methods in software engineering, has a colorful experience from Quality Assurance to Proof Engineering.
109
76
14
1
Projects
Repositories this builder owns.
project-nomad
Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.
mattpocock-skills
Skills for Real Engineers. Straight from my .claude directory.
gstack
Use Garry Tan's exact Claude Code setup: 23 opinionated tools that serve as CEO, Designer, Eng Manager, Release Manager, Doc Engineer, and QA
Apollo-11
Original Apollo 11 Guidance Computer (AGC) source code for the command and lunar modules.
Connected narratives
Related builders
Others building in the same ecosystem.
