nikecode
nikecodedev
Collaboration level unlocked: bringing ideas, laughs, and just enough caffeine to make magic happen. Let’s see what kind of masterpiece we create! 😄🤝
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
Michael J Klein
michaeljklein
I like building and fixing tools to scale with high assurance 😄
🔧 Vim, Zsh, C, Coq, Haskell, Docker, Ubuntu, etc.
Elliot Cameron
3noch
Interested in functional programming, category theory, type theory, formal verification, Nix, UX, ☕
Indiana