Pinned Repositories
nixos-config
Notes
Collection of my personal notes, managed with Obsidian and Git
easycrypt
EasyCrypt: Computer-Aided Cryptographic Proofs
Gustavo2622's Repositories
Gustavo2622/estudo
Repositorio central de materiais de estudo
Gustavo2622/work
Personal work