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
Client side encrypted pastebin
A shitty shell.
A simple microkernel, A/0
Config for the Community aarch64 NixOS box [maintainer=@grahamc]
An Accel Turn proof of concept. (explorating a gameplay)
Simple Power Management tool to define custom lid, brightness and low battery actions depending on the laptop's AC state
A verification toolchain for Rust programs
Projet de gamin que j'avais fait quand j'étais petit. J'ai toujours pas la foi de le delete. Mais j'aime bien montrer que j'écrivais du code horrible avant.
age-encrypted secrets for NixOS
Slides for AI school presentation (using Reveal.js ♥)
Rapport & MATLAB files pour les TME d'algo num
Displays random anime openings
Provides a simple genome browser that pulls data from the API in Python.
Track your Nix closures over time
Présentation des ateliers BlueHats
A Crossbar worker to create database replicated objects which can be manipulated by CRUD operations
Make realtime a breeze with React.
Bridge between Crossbar and RethinkDB.
Aeneas applied to AVL trees
Tools and instructions on how to have awesome symbols in a terminal with a monospace font
Raw data for Japanese Anime
http://bcachefs.org
Essential personal Internet services
Attempt to formalize Berkovich spaces in Lean theorem prover
Shell scripts for debugging and flashing betrusted
A data-driven companion for jobseekers.
Implementation of RFC-0125's datatype and synthesis tooling.
Userspace WireGuard® Implementation in Rust