Skip to content

@leanprover Lean

@trungnghiale108
Trung Nghia Le trungnghiale108
@lenianiva
Leni Aniva lenianiva
Machine Assisted Theorem Proving (MATP) Resercher; Interested in CAD, Visualizations, and Numerical Simulations

Stanford University Centaur Lab @stanford-centaur Gensokyo

@Traveler0014
Travon Traveler0014
Love well-designed technologies that defy easy control.

中国

@ShbnmTjk
Shab ShbnmTjk
@geracabana
geracabana
@michelim136
Michelle Angel Lim michelim136
Michelle Angel Lim I study at @ui - International University

@pdi8 ID

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@radianes123
"Max" radianes123
@PolyTroid
Dries Frederickx PolyTroid

Belgium

@CongTaiLai
congtailai CongTaiLai
@2020-io
2020.io 2020-io
Project 2020: Internet at Global Scale by Default Mission: To become the decade's most impactful new tech platform

2020.io Silicon Valley / San Francisco

@LeonardAukea
Leonard Aukea LeonardAukea
Founder @ Skygrid Engineering

Sweden

@andrewallenbruce
Andrew Allen Bruce andrewallenbruce
Healthcare Data Analyst

Georgia

@General-MP
MP General-MP
@Renlor
Justin Renlor
When you do things right people won't notice you have done anything at all.

Colorado

@sunon4
Gezicheng Guo sunon4
: )
@Muhammad313a
Muhammad313a Muhammad313a
@juanfelipecelisr
Juan Felipe Celis juanfelipecelisr
@doughnutsz
Zhan Song doughnutsz
@DavidJel
David Jelgersma DavidJel
Mathematics enthousiast
@jizhengfeng
Zhengfeng Ji jizhengfeng

Tsinghua University Beijing

@jodros
João A. Quinaglia jodros

São Paulo

@Sererim
Sererim Sererim
@salvesleo
salvesleo
@Observatorio-de-Matematica
Observatorio-de-Matematica
By now, i am interested in Maxima programming language.
@glauberportella
Glauber Portella glauberportella
PHP Web Developer (since 2002) Experience with Symfony, Ionic Framework, Kubernetes, Google Cloud

@ifriend Belo Horizonte, MG, Brazil

@JeddyCorrea-MZO
Jeddy Corrêa JeddyCorrea-MZO

Brazil

@ffffflya
ffffflya
@amzonsir
Ting amzonsir
@mhcal
Miguel Calçado mhcal
computer science undergrad @ university of minho

Portugal

@Chmlgy
Kağan Chmlgy
@kristoforusbryant
Kristoforus Bryant Odang kristoforusbryant
@awellis
Andrew Ellis awellis
cognitive scientist

Bern University of Applied Sciences Bern, Switzerland

@CLnxn
Chen Linxin CLnxn

Singapore

@akhug889
alex.platter akhug889
@legendsland
LiN legendsland
@oVerde
Danilo Verde oVerde
Senior Fullstack JavaScript: React Native, NodeJs, Google Cloud Engineer and CI/CD

BRasil

@FelipeAlbarelli
Felipe Albarelli FelipeAlbarelli

@profusion

@hwpplayer1
Mert Gör 🇹🇷 hwpplayer1
@procyberian PSD Core Team Leader together we are free , together we stand "ubuntu" Software , Hardware, and Science 🇹🇷

@masscollabs İstanbul , Türkiye

@SebTobSch
Sebastian Schmidt SebTobSch
@jellyterra
Jelly Terra jellyterra
HACKING FOR FUN! 18yr old. Passionate about CS, EE, CSE and automation! Learning to build a compiler. Also design circuits in SpinalHDL.

Rizhao Experimental Senior High School Shandong, China

@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Peru

@lemorage
Miao lemorage
LLM Agents Engineer @wondervoy-aws; FP/PL lovers; I ❤️ Open Source

@wondervoy-aws Shanghai, China

@xplutoy
yx xplutoy
@Trance-0
Zheyuan Wu Trance-0
A variable with no constant attributes.

Washington University in St.Louis St.Louis

@binbinsh
Binbin Shen binbinsh
@arcturusannamalai
Muthu Annamalai (முத்து அண்ணாமலை) arcturusannamalai
Scientist. Software engineer. கற்றது கையளவு. Co-Founder Stealth Startup, Manager @ Ezhil-Language-Foundation

Panmo Cloud Silicon Valley, CA

@and0sha
And Sha and0sha
@OnurOrman
Onur Orman OnurOrman
@SDZZGNDRC
SDZZGNDRC