tiiuae / ghafLinks
TII SSRC Secure Technologies: Ghaf Framework
☆59Updated last 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☆88Updated last week
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆198Updated this week
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆118Updated 5 months ago
- Declaratively bear (manage) Linux users and groups☆101Updated last week
- Nix binary cache implemented in rust (maintainer: @Mic92)☆298Updated this week
- FoosterOS/2 Warp - NixOS-based system configuration for my computers☆62Updated this week
- A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]☆134Updated last month
- A Nix companion to improve developer experience☆224Updated 2 weeks ago
- alternate nix substitution☆155Updated last week
- Declaratively manage keys in hardware tokens, from NixOS.☆44Updated 2 months ago
- Generate configuration files using Nix [maintainer=@jmgilman]☆145Updated 4 months ago
- A ranger-like flake.lock viewer [maintainer=@figsoda]☆280Updated 9 months ago
- Schemas for common flake output types☆97Updated 4 months ago
- Secret managing scheme for NixOS☆109Updated last month
- The secretly open NixOS-Society☆156Updated last month
- Unit testing for Nix code [maintainer=@adisbladis]☆103Updated last week
- A tiny & fast type system for Nix in Nix☆83Updated last month
- Minimally invasive safe secret provisioning to Nix-generated service config files☆140Updated 3 years ago
- A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]☆157Updated 3 weeks ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆127Updated 7 months ago
- Bundle and save your SSH keys with Nix☆113Updated this week
- Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]☆201Updated 2 weeks ago
- Health checks for your Nix flakes☆282Updated last week
- Cache Nix Store in GitHub Actions to speed up workflows [maintainer=@deemp]☆114Updated this week
- Create Nilla projects that manage your packages, development shells, systems, and more!☆114Updated 3 months ago
- A more discerning cousin of nix-collect-garbage☆77Updated 3 weeks ago
- Nix binary cache proxy service -- with local caching and signing.☆184Updated 2 weeks ago
- A type-safe Rust interface to the Nix CLI☆112Updated 2 months ago
- Show details about outdated packages in your NixOS system.☆55Updated last week
- A Nushell environment for Nix☆226Updated 10 months ago