Satnam Singh - Open Source Developer

@satnam6502

Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States satnam6502.github.io twitter.com bsky.app

214 followers · 3 following

Contributed to 1 repository

432 commits across the projects listed in this directory.

kubernetes

Production-Grade Container Scheduling and Management