Skip to content

@LindenRegex LindenRegex

Users following LindenRegex

@ch1c0t
Anatoly Chernov ch1c0t
@KacperFKorban
Kacper Korban KacperFKorban
PL/FM PhD Student @ EPFL (SYSTEMF) Working on Verified Compilation

Lausanne, Switzerland

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@Ef55
Noé De Santo Ef55

University of Pennsylvania

@shilangyu
Marcin Wojnarowski shilangyu
I like mixing math with computer science

Ecublens, Switzerland

@Aurele-Barriere
Aurèle Aurele-Barriere

CNRS France