Name: Ryan Lahfa
Type: User
Company: Independent Contributor
Bio: Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Location: France
Blog: https://ryan.lahfa.xyz
Ryan Lahfa's Projects
Mail hosting made simple
Haskell implementation of MessagePack / msgpack.org[Haskell]
Building the natural numbers in Lean.
Vim-fork focused on extensibility and usability
Create your own custom github menu for netboot.xyz
IP address management (IPAM) and data center infrastructure management (DCIM) tool.
Netbox Plugin for integration between Proxmox and Netbox
Real-time performance monitoring, done right! https://www.netdata.cloud
An official read-only mirror of http://hg.nginx.org/nginx/ which is updated hourly. Pull requests on GitHub cannot be accepted and will be automatically closed. The proper way to submit changes to nginx is via the nginx development mailing list, see http://nginx.org/en/docs/contributing_changes.html
Run NGINX in front of your app server on Heroku
Parallel nix evaluator with a streamable json output [maintainers @Mic92, @adisbladis]
Quickly locate nix packages with specific files
Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]
Flake repository of all Lean 3 versions with support for emscripten
Make any NixOS system netbootable with 10s cycle times.
Scripts around Nix/NixOS/NixOps
All my Nix expressions
Code transformation tooling for Nix
NixOps, the NixOS-based cloud deployment tool
NixOps plugin for Proxmox
install nixos everywhere via ssh
NixOS anywhere configurations
My NixOS home configuration
Sources for nixos.org
A zone based firewall built ontop of nftables for nixos
NixOS configurations for nixos.org and its servers
NixOS Proxmox auto-install "templates" for VMs
The Nix community RFCs