Ryan Lahfa

buildxyz. Build your Nix package automatically

nixops-proxmox. NixOps plugin for Proxmox

arkheon. Track your Nix closures over time

esgi_securite_informatique_pratique. Sécurité informatique pratique à travers Python (cours de l'ESGI)

nixos-home. My NixOS home configuration

AutobahnReact. Make realtime a breeze with React.

ifrit. An demonic library to write PE binaries

bujin-scheduler. A scheduler for your TaskWarrior backlog to your CalDAV

compiler9000. An formalized micro-compiler in Lean 4

nixstorefs. A userspace Nix store filesystem implementation via FUSE

nixos-shim. Shim and related binaries signed via Hydra

ens-courses. Notes de cours à l'ENS en tout genre

wannago. Python script to get a minimal list of directions to go from one place to another without opening your Favorite Journey Planner (TM) and wasting (at least) 60 hours to load & use a bugged GUI (with bugged JS).

berkovich-spaces. Attempt to formalize Berkovich spaces in Lean theorem prover

avl-verification. Aeneas applied to AVL trees

nixos-x230. My NixOS configuration for X230

react-spawn. My React Starter Kit, a strange mix of React, JSX, ES7 (Babel), ESLint, React-Hot-Loader, nothing safe for production!

rust-manager. A (Rust) manager to deploy docker micro-services, add proxy to nginx micro-service, add user and a lot of other things.

understanding-nixpkgs. Python notebooks on nixpkgs statistics

sysnum2020. Projet de sysnum 2020

nixexprs. All my Nix expressions

terraform-provider-garage. Go

falcon-introduction. Slides used at Paris.py 6 for the presentation of Falcon (French).

vimconfig. My fucking vimrc & vim bundles.

presentation-bluehats-sept2022-nixos. Ressources pour l'atelier Blue Hats sur NixOS

A0. A simple microkernel, A/0

colmena. A simple, stateless NixOS deployment tool

garage-admin-sdk-golang. Shell

nix. Nix, the purely functional package manager

demo-infra. This is a repository for various PoC & demoes that I share with people I work with.

hax. A Rust verification tool

coala-bears. Bears for coala

uboot-nwa50ax. U-Boot "v1.03" for the NWA50AX (MT7621)

minimal-dropper. An attempt to create the most minimal portable executable dropper (and maybe undetectable?), drop all CRT/STL libs.

Maid-Bot. A Twitter bot made in Python, which is a cool maid ! (From Sakurasou)

api-client-python. Provides a simple genome browser that pulls data from the API in Python.

federez-sdn-2022. Slides et code pour la présentation SDN à Federez 2022

nix-scripts. Scripts around Nix/NixOS/NixOps

bootspec-1. Implementation of RFC-0125's datatype and synthesis tooling.

nixit. Code transformation tooling for Nix

buildxyz-examples. Examples of BuildXYZ resolutions

nix-qemu-bonding. Nix