tiiuae / ghafLinks
TII SSRC Secure Technologies: Ghaf Framework
☆62Updated this week
Alternatives and similar repositories for ghaf
Users that are interested in ghaf are comparing it to the libraries listed below
Sorting:
- nix-based continuous integration system☆92Updated 2 weeks ago
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆120Updated 7 months ago
- Declaratively bear (manage) Linux users and groups☆109Updated 2 months ago
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆212Updated this week
- Unit testing for Nix code [maintainer=@adisbladis]☆110Updated last week
- Nix Flake to make managing Single Board Computers easy and repeatable.☆46Updated 3 months ago
- Generate configuration files using Nix [maintainer=@jmgilman]☆149Updated 6 months ago
- Declaratively manage keys in hardware tokens, from NixOS.☆49Updated last month
- FoosterOS/2 Warp - NixOS-based system configuration for my computers☆62Updated last week
- A plugin for flake.parts framework.☆30Updated 7 months ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆131Updated 9 months ago
- NixOS tooling for Hashicorp Vault☆84Updated last week
- Nix DSL for nftables☆63Updated 8 months ago
- Minimally invasive safe secret provisioning to Nix-generated service config files☆146Updated 3 years ago
- alternate nix substitution☆169Updated last month
- Create Nilla projects that manage your packages, development shells, systems, and more!☆123Updated last week
- Lock & update Nix dependencies☆53Updated last month
- Nix binary cache implemented in rust (maintainer: @Mic92)☆337Updated this week
- Show details about outdated packages in your NixOS system.☆62Updated this week
- Schemas for common flake output types☆105Updated 2 weeks ago
- The secretly open NixOS-Society☆159Updated 3 months ago
- A type-safe Rust interface to the Nix CLI☆113Updated 4 months ago
- A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]☆139Updated last week
- A ranger-like flake.lock viewer [maintainer=@figsoda]☆286Updated 11 months ago
- A CLI tool to extract the graph of derivations from a Nix flake.☆102Updated last month
- Parser for the Nix Expressions Language☆103Updated 3 years ago
- A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]☆162Updated this week
- Efficient source archive format with deterministic properties☆50Updated last week
- Manage your dns zones with NixOS☆141Updated 8 months ago
- Best practice templates for disko - maintainer=@lassulus☆46Updated last year