Pinned Repositories
leo
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
-Tictactoe-sgh
base2
chezmoi
Manage your dotfiles across multiple diverse machines, securely.
taiko-mono
A based rollup. 🥁 🌸
Sgh90's Repositories
Sgh90/chezmoi
Manage your dotfiles across multiple diverse machines, securely.
Sgh90/base2
Sgh90/-Tictactoe-sgh