Skip to content

@coq-community coq-community

@ichxorya
Curly-Howard-Chungus Correspondence | Lamport-Cabot-Codd-Backus-Naur Form ichxorya
WannabeResearcher-ExPartTimeMusicProducer. Currently interested in PLDI, MDSE, and symbolic computation. BOINC cruncher (UET-VNU-2022).

@vnu-frsl @vnu-sme @SEhumantics Ichvers, Esteh, Enurbahnhof, Azeroy

@CheeseTurtle
Stan Soo CheeseTurtle
UTSA Electrical Engineering student and self-taught coding whiz. Enthusiastic about DSP and AI; tentatively curious about microrobotics and biosensors.
@royess
Rabqubit royess
Graduate student @ IIIS, Tsinghua University.

Tsinghua University Beijing, CHN

@CxBug
Muhammed CxBug

berlin

@aljaber131
aljaber131
@ewdlop
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin ewdlop
Hi there! I did not know a machine could possibly have genders too! Damn it!; Please I am kindly asking you to foucs on yourself first. Talking cats be likely.

732-740-5036 Ocean, New Jersey United States of America 07712

@pewulfman
Pierre-Emmanuel Wulfman pewulfman
Functional Software Engineer and Mathematician

@Wulfman-Enterprise 名古屋、Japan

@LeonardAukea
Leonard Aukea LeonardAukea
Founder @ Skygrid Engineering

Sweden

@LeeKLTW
Kun-Lin Lee LeeKLTW
NLP Engineer

Taipei, Taiwan

@gz-gary
Zhongjl gz-gary
student of Nanjing University

Nanjing University Nanjing, China

@acritten
Alec Critten acritten
PhD student in Computer Science at Swansea University

Swansea, Wales, UK

@gekoramy
Luca Mosetti gekoramy
@chenjulang
chenjulang
@emirkaanozdemr
Emir Kaan Özdemir emirkaanozdemr
Data Scientist | AI | Astronomy and Quantum Computing Enthusiast | High School Student at Istanbul Erkek High School

Istanbul, Turkey

@maniacblisssos
Maniacbliss maniacblisssos
Don’t fly too close to the sun

Africa

@dalps
Federico Dal Pio Luogo dalps

Snaktooth Island

@ecrousphilker1
ecrousphilker1
@janpaulpl
Jan-Paul Vincent Ramos-Dávila janpaulpl
programming language theory enthusiast

Cornell University United States

@definfo
Yuxuan Sun definfo
Undergraduate @ Shanghai Jiao Tong University - SPEIT

Shanghai Jiao Tong University Shanghai, China

@ndcroos
ndcroos
@ng2031
ng2031
@hdeping
Deping Huang hdeping

USTC Hefei China

@stepbrobd
StepBroBD stepbrobd

Northeastern University Boston, MA

@SulamYakov
Ya'akov Baruch Vainshtein SulamYakov

Israel

@xrockat
Katerina Akilah H. xrockat
Infrastructure Technology Solutions

🌎

@fabaindaiz
Fabián Díaz fabaindaiz
Compilers | Backend | DevOps

Chile

@thanhtoantnt
Thanh-Toan Nguyen thanhtoantnt

Hong Kong

@M-krishna
Krishna M-krishna
just hanging in there

Pluralsight Bangalore, India

@StamesJames
Christian Benedict Smit StamesJames
@CybCom
Mohan ZHENG CybCom
An ordinary one in the third year at @Nanjing-University. Major in software engineering. Minor (maybe) in astronomy.

Nanjing University Planet Earth

@wuc9521
Chentian Wu wuc9521
Junior of MATH & CS @UW-Madison

University of Wisconsin-Madison Madison, WI

@hengxin
Hengfeng Wei (魏恒峰) hengxin
I am currently a Research Assistant at Software Institute at Nanjing University, China.

Nanjing University (南京大学) Nanjing University

@Gao-Chuan
1phan Gao-Chuan
Yet another person trying to understand computer science and the ocean.

Indiana University Bloomington

@hehepig166
hehepig166
@solidsnakedev
Jonathan solidsnakedev

Toronto, Canada

@mikkohakki
Mikko mikkohakki
tech-savvy individual with a passion for coding
@amirahmadi1987
amir amirahmadi1987
@kkpan11
Gianni Hong kkpan11
Coder. Book lover. Enthusiastic cyclist. T1D.

Taipei, Taiwan

@kevung
Kévin kevung

ONERA, The French Aerospace Lab Paris, France

@motrellin
Max Ole Elliger motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.

Erlangen

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@cmester0
Lasse Letager Hansen cmester0

Aarhus University Aarhus, Denmark

@start974
Jeremy Damour start974

Paris

@exAClior
Yusheng Zhao exAClior
Talk is cheap, let me code.

@CodingThrust Guang Zhou

@klarteno
carneyo paul klarteno
@nissinassime
Nissi nissinassime

Quebec

@wrsturgeon
Will Sturgeon wrsturgeon
CS+CogSci @ UPenn

University of Pennsylvania Pasadena, CA

@d1w1rm4
Brylle Joshua Logroño d1w1rm4

UP Diliman

@SayakaSuzuki47
Sayaka Suzuki SayakaSuzuki47
first-year master's student in mathemal

Japan