Ryan Lahfa
@RaitoBezariusFormal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Language Breakdown
Lines of code distribution across 76 owned repositories
I-Shaped Developer
I-shapedSpecialist — deep expertise in C
Collaboration Network
Global Impact visualization
Repos
449
PRs
0
Growth
+18%
Top Collaborators
No collaborator data yet.
Coding Streak
Contribution activity over the past year
Loïc Sikidi
@loicsikidi
mindaryn
@mindaryn
Wareya
@wareya
Matthieu OLIVIER
@molivier
Kat Inskip
@kittywitch
Top Repositories
Build your Nix package automatically
NixOps plugin for Proxmox
Track your Nix closures over time
Sécurité informatique pratique à travers Python (cours de l'ESGI)
My NixOS home configuration
A scheduler for your TaskWarrior backlog to your CalDAV
An demonic library to write PE binaries
An formalized micro-compiler in Lean 4
Make realtime a breeze with React.
A userspace Nix store filesystem implementation via FUSE
Open Source Impact
Contributions to external projects
