🧑🏭
building tools
Johnny Magrippis
jmagrippis
I code around the world, and inspire others to do the same 🧑💻👩💻👨💻
London, UK
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Historical Source
historicalsource
A collection of historical source files, for education and perusal.
Clay Risser
clayrisser
DevOps/MLOps engineer proficient with Linux, Kubernetes, Docker and Terraform
@risserlabs The Past