Popular repositories Loading

1. ghaf ghaf Public

   Forked from tiiuae/ghaf

   TII SSRC Secure Technologies: Ghaf Framework

   Nix

2. nix-tutor nix-tutor Public

   Forked from nordic-dev-net/nix-tutor

   A Nix curriculum

   Nix

3. disko disko Public

   Forked from nix-community/disko

   Declarative disk partitioning and formatting using nix [maintainer=@Lassulus]

   Nix

4. givc givc Public

   Forked from mbssrc/givc

   Inter-VM Services and Communication via gRPC

   Go

5. ghaf-givc ghaf-givc Public

   Forked from tiiuae/ghaf-givc

   Ghaf gRPC-based inter-vm communication framework

   Nix

6. ghaf-infra ghaf-infra Public

   Forked from tiiuae/ghaf-infra

   Nix