Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Théo Winterhalter
TheoWinterhalter
Researcher, proof assistants and dependent types
INRIA Saclay Saclay
Antoine Marie
antoine-marie
3rd year PhD student in Pierre-François LOOS' group at the LCPQ in Toulouse.
Julie Deleuze
jdeleuze
2nd year PhD student in the group of Sylvain Joubaud and Philippe Odier at Laboratoire de Physique at ENS de Lyon, France.
Senior Front End | Full Stack Developer (TypeScript, React, Node, Expert)
webguru11124
LIFE is like riding a bicycle, To keep your BALANCE, you must keep MOVING.
Talented Group
Mehdi W Fawaz
mehdiwf
I also have other projects/repos in Codeberg
https://codeberg.org/payasson
Timothee-Audinet
Third-year student at the ENS de Lyon, in the department of chemistry. I have a keen interest in theoretical chemistry and electronic structure theory.
ENS de Lyon Lyon, France
David--Cléris Timothée
tdavidcl
Postdoc at IPAG, Grenoble.
Lead of the code Shamrock for Exascale astrophysics
CRAL/ENS de Lyon