RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent ContributorFrance
Pinned Repositories
mangaki
Site de recommandation de mangas et d'anime
goblin-signing
Sign PE with Goblin! [maintainers=@raitobezarius @baloo]
lanzaboote
Secure Boot for NixOS [maintainers=@blitz @raitobezarius @nikstur]
nixpkgs
Nix Packages collection & NixOS
arkheon
Track your Nix closures over time
AutobahnReact
Make realtime a breeze with React.
buildxyz
Build your Nix package automatically
esgi_securite_informatique_pratique
Sécurité informatique pratique à travers Python (cours de l'ESGI)
ifrit
An demonic library to write PE binaries
nixops-proxmox
NixOps plugin for Proxmox
RaitoBezarius's Repositories
RaitoBezarius/arkheon
Track your Nix closures over time
RaitoBezarius/bujin-scheduler
A scheduler for your TaskWarrior backlog to your CalDAV
RaitoBezarius/nixos-home
My NixOS home configuration
RaitoBezarius/avl-verification
Aeneas applied to AVL trees
RaitoBezarius/colmena
A simple, stateless NixOS deployment tool
RaitoBezarius/demo-infra
This is a repository for various PoC & demoes that I share with people I work with.
RaitoBezarius/garage-admin-sdk-golang
RaitoBezarius/hax
A Rust verification tool
RaitoBezarius/terraform-provider-garage
RaitoBezarius/aeneas
A verification toolchain for Rust programs
RaitoBezarius/cargo2nix
Build Rust crates with Nix
RaitoBezarius/cgroup-exporter
RaitoBezarius/charon
Interface with the rustc compiler for the purpose of program verification
RaitoBezarius/foundation
This is the home of the NixOS Foundation
RaitoBezarius/home-manager
Manage a user environment using Nix [maintainer=@rycee]
RaitoBezarius/impress
RaitoBezarius/irc
the irc crate – usable, async IRC for Rust
RaitoBezarius/liminix
My personal copy of development for gti.telent.net:dan/liminix
RaitoBezarius/microvm.nix
NixOS MicroVMs
RaitoBezarius/netdata
Real-time performance monitoring, done right! https://www.netdata.cloud
RaitoBezarius/nix-security-tracker
Web service for managing information on vulnerabilities in software distributed through Nixpkgs
RaitoBezarius/nixos-org-configurations
NixOS configurations for nixos.org and its servers
RaitoBezarius/nixpkgs
Nix Packages collection
RaitoBezarius/nixpkgs.lib
nixpkgs lib for cheap instantiation [maintainer=@github-action] (with initial help from @blaggacao)
RaitoBezarius/npins
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
RaitoBezarius/opsdroid
🤖 An open source chat-ops bot framework
RaitoBezarius/purl-spec
A minimal specification for purl aka. a package "mostly universal" URL, join the discussion at https://gitter.im/package-url/Lobby
RaitoBezarius/systemd
The systemd System and Service Manager
RaitoBezarius/taskw
python taskwarrior api
RaitoBezarius/zfs
OpenZFS on Linux and FreeBSD