Skip to content
View PatrickMassot's full-sized avatar
195 followers · 0 following
  • Paris

Sponsoring

@typst

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Public SponsorAchievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Organizations

@leanprover-community

Block or report PatrickMassot

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@nordnes
Robin A. Nordnes nordnes
Founder & CEO at @raiku-protocol Computer Science & Neuroscience.

@raiku-protocol Oxford, United Kingdom

@0stellensatz
Hyeon, Seung-Hyeon 0stellensatz

Tokyo, Japan

@Kazim1212
Kazim1212
I have MBA and Bachelor in Computer Science. I have quite knowledge of Social Research and Statistics.
@vuthanhtrung2010
Vũ Thành Trung vuthanhtrung2010

@Trung-Development @Mivator Vietnam/Hanoi

@eliasjudin
Elias Judin eliasjudin
mathematician. research in categorical algebra, galois theories. Lean 4 engineer

University of Cape Town Cape Town, South Africa

@Pbt1966
Pbt1966
@claudiohermida
Claudio Hermida claudiohermida
Web 3.0 enthusiast, PhD Computer Science, aficionado to Functional Programming, Category Theory and Type Theory
@lambda-loop
João Lucas de Moraes Pereira lambda-loop
- ☕ Always studying - 🎓 Federal University of Rio Grande do Norte (UFRN) Student

Natal, RN

@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@miheerdew
Miheer Dewaskar miheerdew
Maths, Stats, and Computation

Duke University Durham, NC

@michelk
Michel Kuhlmann michelk

Zürich

@scott-astatine
Scott Astatine scott-astatine
Programmer | Biotech & A.I scholar
@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@HLim55
Hyojae Lim HLim55

Johann Radon Institute for Computational and Applied Mathematics (RICAM) Linz, Austria

@kfuji5
kfuji5
@ralphrazzouk
Ralph Razzouk ralphrazzouk
Mathematics ∪ Physics ∪ Computer Science

In A Black Hole

@RuoranXu
Ruoran Xu RuoranXu
My interests widely cover AI4Math | Undergraduate in XJTLU
@mgubi
mgubi
@dzetalabs
RustamHurmatulliin dzetalabs

DzetaLabs Russian Federation

@lalomorales22
lalo adrian morales lalomorales22
sd, ca | I make software for myself

@Comedeez-AI San Diego, CA

@lxhoanghsgs
lxhoanghsgs
@leotd21
LuongTD leotd21
work hard, be kind
@GMTstudio7749
GMTstudio7749
@laroccamartin
Martin Larocca laroccamartin
Research Scientist, Los Alamos National Lab.
@WeirdMing
Ngo Duc Minh WeirdMing
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@mmpokharanakar
Mugdha Pokharanakar mmpokharanakar
Integrated PhD student, Department of Mathematics, IISER Bhopal
@24601
Basit Mustafa 24601
Tell your agents I said hi.

CTO @ Procurement Sciences Telluride, CO

@chung-thai-nguyen
Chung Thai Nguyen chung-thai-nguyen
Vibe coder. Verifiable computation.

Vietnam

@jkpjkpjkp
jkp jkpjkpjkp

Haidian, CN

@EduardoDosSantosFerreira
Eduardo dos Santos Ferreira 🇧🇷 EduardoDosSantosFerreira
⭐ Fullstack Developer & IT Specialist Crio sites modernos, automações e softwares desktop completos.

São Paulo | Brasil

@Diophantus03
Sachin Kumar Diophantus03
PURE MATH & ECONOMETRICS @ UW

@UWaterloo Ontario, Canada

@ccianos
Charles Cianos (Charlie) ccianos
Wassup friends! I'm Charlie, a beautiful Homo Sapien of hominization only for peace. BLM, BIPOC, LGBTQ+, the Working Class, the Poor, and the Homeless matter.

Hagginwood and Del Paso Heights, Sacramento, CA

@thirupathi-azmeera
thirupathi-azmeera
@Julek
Julian Sutherland Julek
Head of Formal Verification @NethermindEth.

@NethermindEth London, UK

@havedifficultyinfindingnames
havedifficultyinfindingnames
@NickAdfor
Nick Adfor NickAdfor
@MatheFysyk
Paul QUINONES MatheFysyk
Je fais des vidéos de vulgarisation de maths et de physique en utilisant la librairie Manim. I'm making maths and physics videos using the engine Manim.

Université Paris-Saclay France

@MrcPl
MrcPl
@Ayush-GiTHuB-Priyadarshi
Ayush Priyadarshi Ayush-GiTHuB-Priyadarshi
@topological-modular-forms
Emily topological-modular-forms
@toonsegers-rl
toonsegers-rl
@ojas-bhagavath
Ojas Bhagavath ojas-bhagavath
Mathematics PhD Student at the University of Oklahoma.

University of Oklahoma Norman, OK, United States

@janaab11
Manas janaab11
math, code
@nmbetancur
nmbetancur
art & architectural historian #nmbetancur

National University of Colombia

@AnirudhG07
Anirudh Gupta AnirudhG07
I am a UG in Btech studying in Indian Institute of Science, Bangalore. I work hard for my dreams, and I am eager to learn, achieve and be REAL!
@mrigankpawagi
Mrigank Pawagi mrigankpawagi
I didn't test my software. Now it tests my patience.

Indian Institute of Science Bengaluru, Karnataka, India

@databoss465
Dattabhasvant Ghadiyaram databoss465
@pirapira
Yoichi Hirai pirapira
Using this account for activities of Flamingo Ponderado Unipessoal LDA since 2025-07-09.

Flamingo Ponderado Unipessoal LDA Portugal

@lucasbazante
Lucas Bazante lucasbazante
Brazilian Computer Science undergraduate, (infinitely) hooked on mathematics and such things.

Natal - Brazil