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/nixos-home
My NixOS home configuration
RaitoBezarius/nixexprs
All my Nix expressions
RaitoBezarius/terraform-provider-garage
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/aeneas
A verification toolchain for Rust programs
RaitoBezarius/bencher
🐰 Bencher - Continuous Benchmarking
RaitoBezarius/cargo2nix
Build Rust crates with Nix
RaitoBezarius/cgroup-exporter
RaitoBezarius/disko
Format disks with nix-config [maintainer=@Lassulus]
RaitoBezarius/go-plugin-rs
HashiCorp `go-plugin` mechanism for Rust programs
RaitoBezarius/hackdays2025
For three days, take part in the creation of open-source apps aimed at strengthening European digital sovereignty.
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/nix-security-tracker
Web service for managing information on vulnerabilities in software distributed through Nixpkgs
RaitoBezarius/nixpkgs
Nix Packages collection
RaitoBezarius/openbao
OpenBao exists to provide a software solution to manage, store, and distribute sensitive data including secrets, certificates, and keys.
RaitoBezarius/sail
Sail architecture definition language
RaitoBezarius/sail-arm
Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model
RaitoBezarius/sail-riscv
Sail RISC-V model
RaitoBezarius/sail-tiny-arm
RaitoBezarius/SC-election-2025
2025 Election for the Steering Committee
RaitoBezarius/systemd
The systemd System and Service Manager
RaitoBezarius/tcp-stream
std::net::TcpStream on steroids
RaitoBezarius/terraform-provider-keycloak
Terraform provider for Keycloak
RaitoBezarius/zfs
OpenZFS on Linux and FreeBSD
RaitoBezarius/zulip
Zulip server and web application. Open-source team chat that helps teams stay productive and focused.