Ryan Lahfa
RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.
Independent Contributor France
Lily Foster
lilyinstarlight
Hi, I'm Lily! I'm a computer techromancer with interests in music, education, and OS dev
Columbia, SC, US
PLN team
PLN-team
Regroup and store repositories around our work on the Poisson lognormal model (Code, packages, new development, material for formation)
Paris area, France
Luj
JulienMalka
Software supply chain security researcher, NixOS enthusiast & contributor.
Other interests: PL theory, software security, formal verification.
PhD Student at Télécom Paris // Freelancer Paris