Pinned Repositories
home-manager
Manage a user environment using Nix [maintainer=@rycee]
nixpkgs
Nix Packages collection & NixOS
styleguide
Style guides for Google-originated open-source projects
DiemBFT
CSE 535 Distributed Systems
venkyr77's Repositories
venkyr77/home-manager
Manage a user environment using Nix [maintainer=@rycee]
venkyr77/nixpkgs
Nix Packages collection & NixOS
venkyr77/styleguide
Style guides for Google-originated open-source projects