tiiuae / ghafLinks
TII SSRC Secure Technologies: Ghaf Framework
☆57Updated this week
Alternatives and similar repositories for ghaf
Users that are interested in ghaf are comparing it to the libraries listed below
Sorting:
- Declaratively bear (manage) Linux users and groups☆93Updated 2 weeks ago
- nix-based continuous integration system☆73Updated this week
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆186Updated this week
- FoosterOS/2 Warp - NixOS-based system configuration for my computers☆61Updated this week
- Nix binary cache implemented in rust (maintainer: @Mic92)☆287Updated last week
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆118Updated 4 months ago
- Unit testing for Nix code [maintainer=@adisbladis]☆99Updated 3 weeks ago
- Generate configuration files using Nix [maintainer=@jmgilman]☆142Updated 3 months ago
- The secretly open NixOS-Society☆154Updated last week
- Minimally invasive safe secret provisioning to Nix-generated service config files☆139Updated 3 years ago
- Declaratively manage keys in hardware tokens, from NixOS.☆44Updated last month
- A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]☆132Updated 3 weeks ago
- Create Nilla projects that manage your packages, development shells, systems, and more!☆112Updated 2 months ago
- NixOS tooling for Hashicorp Vault☆82Updated this week
- Manage your dns zones with NixOS☆137Updated 5 months ago
- A Nix companion to improve developer experience☆217Updated last week
- Providing reproducible HTTP/HTTPS responders to builds that just can not live without☆113Updated last year
- alternate nix substitution☆142Updated this week
- Nix binary cache proxy service -- with local caching and signing.☆170Updated this week
- Microscopic NixOS build designed for embedded environments. [Maintainers=@NotAShelf, @DamitusThyYeetus123]]☆49Updated last month
- Schemas for common flake output types☆95Updated 3 months ago
- Secret managing scheme for NixOS☆96Updated last week
- A ranger-like flake.lock viewer [maintainer=@figsoda]☆278Updated 8 months ago
- A tiny & fast type system for Nix in Nix☆83Updated 3 weeks ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆126Updated 6 months ago
- A flake-parts module for simple nixos, darwin and home-manager configurations using project directory structure☆83Updated 2 months ago
- A type-safe Rust interface to the Nix CLI☆112Updated last month
- A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]☆149Updated last week
- A more discerning cousin of nix-collect-garbage☆74Updated last week
- Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]☆196Updated 3 weeks ago