tiiuae / ghafLinks
TII SSRC Secure Technologies: Ghaf Framework
☆61Updated last week
Alternatives and similar repositories for ghaf
Users that are interested in ghaf are comparing it to the libraries listed below
Sorting:
- 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☆105Updated last month
- Unit testing for Nix code [maintainer=@adisbladis]☆107Updated last month
- nix-based continuous integration system☆90Updated 2 weeks ago
- Generate configuration files using Nix [maintainer=@jmgilman]☆147Updated 6 months ago
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆208Updated last week
- Standard's grow function family. Factorized.☆54Updated last year
- A tiny & fast type system for Nix in Nix☆89Updated last week
- A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]☆160Updated 2 months ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆131Updated 8 months ago
- alternate nix substitution☆166Updated 3 weeks ago
- Show details about outdated packages in your NixOS system.☆60Updated this week
- Manage your dns zones with NixOS☆140Updated 7 months ago
- Declaratively manage keys in hardware tokens, from NixOS.☆47Updated last week
- Efficient source archive format with deterministic properties☆46Updated 3 months ago
- A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]☆137Updated 2 months ago
- FoosterOS/2 Warp - NixOS-based system configuration for my computers☆62Updated last week
- Microscopic NixOS build designed for embedded environments. [Maintainers=@NotAShelf, @DamitusThyYeetus123]]☆58Updated last month
- Nix binary cache implemented in rust (maintainer: @Mic92)☆327Updated this week
- Parser for the Nix Expressions Language☆101Updated 2 years ago
- Build your Nix package automatically☆61Updated 2 years ago
- A type-safe Rust interface to the Nix CLI☆112Updated 3 months ago
- Simple unit-testing for Nix [maintainer=@Lord-Valen]☆120Updated last week
- Create Nilla projects that manage your packages, development shells, systems, and more!☆119Updated 2 weeks ago
- Lock & update Nix dependencies☆48Updated 2 weeks ago
- The secretly open NixOS-Society☆159Updated 2 months ago
- A plugin for flake.parts framework.☆28Updated 7 months ago
- Set up a LUKS-encrypted filesystem for Yubikey in NixOS☆88Updated last year
- Minimally invasive safe secret provisioning to Nix-generated service config files☆146Updated 3 years ago
- Nix Flake Input Versioning☆82Updated 5 months ago