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

Achievements

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

Achievements

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

Highlights

  • Pro

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.

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
@baileywhitbread
Bailey Whitbread baileywhitbread
Australian graduate mathematics student
@francescomacri
Francesco Macrì francescomacri
@bhqv
भव्य / bhavya bhqv
@DavFeng1
David Feng DavFeng1
swe / uw mathphys

Toronto, Canada

@JasonZhu314
Jitong Zhu JasonZhu314
@nhanho2707
Nhan Ho nhanho2707
@TimHu111
TimHu111
@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@pdueck
Pierre Dueck pdueck
@seewoo5
Seewoo Lee seewoo5
Graduate student in Mathematics

Berkeley, CA

@exxjob
exxjob
i have no mouth and i must beatbox
@metinersin
Metin Ersin Arican metinersin

Bogazici University Turkey

@The-Wayvy
找道了 The-Wayvy

Singapore

@mcaibar
Mirel Caibar mcaibar
The Ohio State University
@luisacicolini
Luisa Cicolini luisacicolini
CS graduate, creativity enthusiast

University of Cambridge, @opencompl Cambridge

@samwael
samwael
@fnaufel
fnaufel
@ejconlon
Eric Conlon ejconlon

west coast

@felko
felko
@demon386
M. Tong demon386
Enjoy a boring life.

@DiDi Beijing, China

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Marseille

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@gdahia
Gabriel Dahia gdahia
@c4software
Brosseau Valentin c4software
Dev Web, créateur de framework et de librairies en tous genres. Réutilisation et simplification sont mes moteurs!

Playmoweb France

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@InterdisciplinaryPhysicsTeam
Interdisciplinary Physics Team (InPhyT) InterdisciplinaryPhysicsTeam
Modeling complex systems via @JuliaLang and @python: Computational Social Science📱| Computational Epidemiology 🦠 | Computational Neuroscience 🧠.

University of Turin Turin, Italy

@MiladSoleymani96
Milad Soleymanifar MiladSoleymani96
Ph.D Student in Applied Mathematics(IUT) M.Sc Applied Mathematics (IUT)

IRAN, ISFAHAN

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@csqr
Chetan Chawla csqr
@zoryzhang
Zory, Zhang zoryzhang
UIUC'25 UG MATH&CS

Urbana, IL

@echo672
echo672
@xiyuzhai
Xiyu Zhai xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.

UW Seattle, WA

@oneofvalts
Abdullah Uyu oneofvalts
@obousquet
Olivier Bousquet obousquet

Zürich, Switzerland

@jnlindsay
Jeremy Lindsay jnlindsay

Sydney, NSW, Australia

@monsterkrampe
Lukas Gerlach monsterkrampe
Research Associate / PhD Student @knowsys

@knowsys Dresden

@jarmitage
Jack Armitage jarmitage
Medium Designer creating Tölvera

Afhverju Ekki Reykjavík, Iceland

@andrew-werdna
Andrew Brown andrew-werdna
Software Engineer and Math enthusiast

Austin, Texas

@gilbertwong96
Gilbert gilbertwong96

China

@dopeyhex
Aleks Levin dopeyhex
Bad mathematician, even worse programmer.

Higher School of Economics Moscow, Russian Federation

@kephas
Pierre Thierry kephas

AUTOGRIFF Strasbourg, France

@jnarboux
Julien Narboux jnarboux

Université Paris Cité Paris

@xlfd2200
xlfd2200
@0xalpharush
alpharush 0xalpharush

@asymmetric-research

@mastane
Mastane Achab mastane
AI Researcher

Technology Innovation Institute (TII) Abu Dhabi, UAE

@t4v1
t4v1
@schneiderfelipe
Felipe S. S. Schneider schneiderfelipe
A PhD chemist (computational chemistry) and (scientific) software engineer.

Cellertz Bio 27°35'20.2"S 48°31'12.5"W

@Yannlecun
Yannlecun
@Julian
Julian Berman Julian
Lover of things. Climber of molehills. Seeking friends for the end of the world.

New York, NY

@federerfanatic
Federer Fanatic federerfanatic
Can't you tell ? :-) If you want to get a developer to enhance a program you need, send them some money which is what I did to get wget2 enhanced.

The Relentless Tide