tiiuae / ghafLinks
TII SSRC Secure Technologies: Ghaf Framework
☆61Updated 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☆89Updated this week
- Define and build CI for Nix projects anywhere; superceded by Omnix https://omnix.page/om/ci.html☆120Updated 6 months ago
- Declaratively bear (manage) Linux users and groups☆104Updated last month
- Generate configuration files using Nix [maintainer=@jmgilman]☆146Updated 5 months ago
- A nixos module to make buildbot a proper Nix-CI [maintainer=@Mic92,@MagicRB]☆207Updated this week
- Declaratively manage keys in hardware tokens, from NixOS.☆45Updated 3 months ago
- A tiny & fast type system for Nix in Nix☆85Updated 2 months ago
- alternate nix substitution☆161Updated last week
- Create Nilla projects that manage your packages, development shells, systems, and more!☆116Updated 4 months ago
- Unit testing for Nix code [maintainer=@adisbladis]☆105Updated 3 weeks ago
- FoosterOS/2 Warp - NixOS-based system configuration for my computers☆62Updated this week
- Nix binary cache proxy service -- with local caching and signing.☆196Updated this week
- A library to turn Nix Flake attribute sets into Github Actions matrices [maintainer=@adisbladis]☆136Updated 2 months ago
- Snapshot testing for Nix based on haumea [maintainer=@figsoda]☆129Updated 8 months ago
- Minimally invasive safe secret provisioning to Nix-generated service config files☆144Updated 3 years ago
- Nix DSL for nftables☆62Updated 6 months ago
- nix-community infrastructure [maintainer=@zowoq]☆153Updated last week
- The secretly open NixOS-Society☆155Updated last month
- Nix binary cache implemented in rust (maintainer: @Mic92)☆318Updated last week
- Efficient source archive format with deterministic properties☆46Updated 2 months ago
- Parser for the Nix Expressions Language☆99Updated 2 years ago
- A fast semantic linter for Nix using tree-sitter 🌳 + ❄️. [maintainers=@Artturin,@siraben]☆159Updated last month
- Providing reproducible HTTP/HTTPS responders to builds that just can not live without☆115Updated last year
- Simplify Nix source management using familiar glob patterns☆69Updated last month
- Microscopic NixOS build designed for embedded environments. [Maintainers=@NotAShelf, @DamitusThyYeetus123]]☆57Updated 2 weeks ago
- Simple unit-testing for Nix [maintainer=@Lord-Valen]☆119Updated last week
- Standard's grow function family. Factorized.☆54Updated last year
- Secret managing scheme for NixOS☆110Updated last month
- Web service for managing information on vulnerabilities in software distributed through Nixpkgs☆62Updated last week
- Bundle and save your SSH keys with Nix☆113Updated 3 weeks ago