🎯
Very restricted availability
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
-
Independent Contributor
- France
- https://ryan.lahfa.xyz
- @[email protected]
Pinned Loading
-
nix-community/lanzaboote
nix-community/lanzaboote PublicSecure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
-
-
nix-community/goblin-signing
nix-community/goblin-signing PublicSign PE with Goblin! [maintainers=@raitobezarius @baloo]
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.