Skip to content
View Lysxia's full-sized avatar
323 followers · 51 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2Achievement: Pull Sharkx3

Organizations

@dissemin @concolism

Block or report Lysxia

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@lephe
Sébastien Michelland lephe
Compilers, systems, and calculator hobbyist. See https://git.planet-casio.com/Lephenixnoir for more.
@PaulQbFeng
Paul Feng (清波) PaulQbFeng
Data Scientist / Python programmer

AXA Paris

@nbzpro
nbzpro
@TOTBWF
Reed Mullanix TOTBWF
An object in an Elegant Reedy Category.

McMaster University Hamilton, ON

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@cwatson1998
cwatson1998
@alpha-convert
Joseph Cutler alpha-convert
PhD student at Penn
@SamFrohlich
Sam Frohlich SamFrohlich
Programming Languages PhD student

University of Bristol Bristol

@YaZko
Yannick Zakowski YaZko
@Jiali-Xing
Jiali Xing Jiali-Xing
A CIS PhD student. #FOSS, #CompSci, #Econ, #ESE, #PoliSci, #Meme, #Game, #History, #Linguistics

University of Pennsylvania Philly<-Duke.edu<-武漢大學

@rinshankaihou
rinshankaihou
@stephenmell
stephenmell
@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@elefthei
Lef Ioannidis elefthei
PhD candidate

University of Pennsylvania Philadelphia, PA

@philliard3
Phillip Hilliard philliard3
Computer Science PhD Student
@just95
Justin Andresen just95
Fullstack Software Developer at Cap3

Cap3 GmbH Kiel, Germany

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@AntonXue
Anton Xue AntonXue
@moqingyan
Jiani Huang moqingyan
@euisuny
Irene Yoon euisuny
@bnjw5jhyxn
Steve Hsu bnjw5jhyxn
@arthuraa
Arthur Azevedo de Amorim arthuraa
Postdoctoral researcher at Boston University.

Boston, MA, USA

@gilhur
Chung-Kil Hur gilhur
@ichistmeinname
Sandra Dylus ichistmeinname
holds PhD in PL; likes functional programming languages

@Cap3 Germany, Kiel

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

TON Foundation Dubai

@aweinstock314
Avi Weinstock aweinstock314
@Grain
Paul He Grain
Assistant Professor, Teaching Stream in Computer Science at the University of Toronto

University of Toronto Toronto, Ontario

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@Solonarv
Solonarv

Freiburg i. Br.

@buggymcbugfix
Vilem Liepelt buggymcbugfix
Code monkey. Lab rat. Motivation: An ounce of cunning beats a tonne of brute force—SPJ

University of Kent Nowhere

@angelhof
Konstantinos Kallas angelhof
Assistant Professor of CS at UCLA

UCLA Computer Science Los Angeles, CA - Athens, GR

@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@Ekdohibs
Nathanaëlle Courant Ekdohibs
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@isovector
Sandy Maguire isovector
Author, programmer, musician, trouble-maker.

Vancouver, BC

@kcsongor
Csongor Kiss kcsongor
dysfunctional programmer

London, United Kingdom

@lthms
Thomas Letan lthms
I’ve been wrong before.

Nomadic Labs Paris

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@abhiroyg
Abhilash Roy .G abhiroyg
Budding programmer. ML, and NLP enthusiast. Wannabe app developer.
@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@csgk
Ken Chanseau Saint-Germain csgk
@mheinric
mheinric
@LaCacahueteTueuse
Cacahuete LaCacahueteTueuse
@threonorm
threonorm
@axeldavy
axeldavy
@Evarin
Robin Champenois Evarin

Paris, France

@nguyentito
Nguyễn Lê Thành Dũng nguyentito
https://sfconservancy.org/GiveUpGitHub/
@programLyrique
Pierre Donat-Bouillud programLyrique
Reasearcher at CVUT, visiting researcher at Northeastern University, Phd from Sorbonne Université, Computer languages, computer music, R

Czechia

@toineo
t : T toineo
@balefebvre
Baptiste Lefebvre balefebvre
PhD student in computational neuroscience.

École Normale Supérieure Paris