Pinned Loading

1. ghaf ghaf Public

   Forked from tiiuae/ghaf

   TII SSRC Secure Technologies: Ghaf Framework

   Nix

2. tiiuae/ghaf tiiuae/ghaf Public

   TII SSRC Secure Technologies: Ghaf Framework

   Nix 66 76

3. ghaf-givc ghaf-givc Public

   Forked from tiiuae/ghaf-givc

   Ghaf gRPC-based inter-vm communication framework

   Rust

4. srta-ldpi srta-ldpi Public

   Forked from Willtl/ids-ldpi

   Python

5. nixos-hardware nixos-hardware Public

   Forked from tiiuae/nixos-hardware

   A collection of NixOS modules covering hardware quirks.

   Nix

6. nixpkgs nixpkgs Public

   Forked from gngram/nixpkgs

   Nix Packages collection & NixOS

   Nix