Skip to content

@math-comp Mathematical Components

Users following math-comp

@stepbrobd
StepBroBD stepbrobd
λƒ.(λ𝑥.ƒ(𝑥 𝑥))(λ𝑥.ƒ(𝑥 𝑥))

@Inria Grenoble, France

@JeffCarpenter
Jeff Carpenter JeffCarpenter

Canada

@gleblobanov
Gleb Lobanov gleblobanov
@NullForkedDev
NullForkedDev
404 bio not found.

United States of America

@hlwhite
hlwhite
@m0n0ph1
MB m0n0ph1
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@GPotoshin
George Potoshin GPotoshin
If a computer isn't working, grab it by the patch cords and hit it with a spinning kick

École Polytechnique Paris, France

@unpilbaek
Unpil Baek unpilbaek
An avid UC Berkeley PhD student interested in quantum computing and its intersections with condensed matter physics, quantum chemistry, and machine learning.

University of California, Berkeley Berkeley, CA

@OChicken
Shouran MA OChicken

LTH Lund Lund, Sweden

@illusory0x0
猗露 illusory0x0

China

@itsKayWat
itsKayWat itsKayWat
👋 I'm Chris Loetz, I make stuff. Crafting tools to help stores and teams streamline operations and enhance efficiency - TikTok: @ll_kaywat_ll - OnPoint

NexusStream Project Ai One Click Away From You =P

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@djvelimir
Velimir Đurković djvelimir
Highly experienced Senior Software Engineer. Proficient in a range of technologies including .NET, Java, Angular, JavaScript, and TypeScript.

Novi Sad, Vojvodina, Serbia

@BismaBRJ
Bisma Joyosumarto BismaBRJ
A regular student who occasionally goes on GitHub to publish his code for everyone else to see.

South Jakarta, Jakarta, Indonesia

@mate0sF0LLADOR
mate0sF0LLADOR
@mctague434
Carl McTague mctague434

Boston College Boston

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

@Wulfman-Enterprise 名古屋、Japan

@cetincinkir
cetincinkir
@Rrr-lab
Rrr-lab
@ramiterdos1
Ramit ramiterdos1
Logician in training

India

@nniinnoo
Nino Tannio nniinnoo

Université de Toulouse Toulouse, France

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@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). Welcome to Rokkenjima.

@vnu-frsl @vnu-sme @SEhumantics @ISE-Lab-AI4LIFE Ichvers, Esteh, Enurbahnhof, Azeroy

@alxbnct
Yosef Weissmann alxbnct
@mwhtmg
mwh mwhtmg
@SevDan
Daniel Sevostyanov SevDan
@gapry
gapry
Short-Term Action, Long-Term Impact.
@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@ndrean
Neven DREAN ndrean

프랑스

@fwcd
fwcd fwcd
Interested in music, compilers and functional programming. PL enthusiast. @mixxxdj and @swiftlang contributor.
@aresbit
aresbit
@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer. Previously Apple Pay Security.

Lafayette, Indiana

@klarteno
carneyo paul klarteno
@andrewallenbruce
Andrew Allen Bruce andrewallenbruce
Healthcare Data Analyst

Georgia

@BrentKylling
BrentKylling
@mrstanb
Stanimir Bozhilov mrstanb
@Tridu33
Tridu33
tridu33.github.io
@Yosuke-Ito-345
Yosuke Ito Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)

Sompo Himawari Life Insurance Inc. Tokyo, Japan

@egretwAlker
Tianxiang Xia egretwAlker
@thialbuquerque
Thiago de Oliveira Albuquerque thialbuquerque
Computer Engineering undergraduate student at Universidade de Brasília, Brazil. Currently studying automotive electronics, cybersecurity and data science.

Universidade de Brasília Brazil

@F1uctus
Ilya Nikitin F1uctus
Student, programming languages theory and computational linguistics enthusiast. Occasionally a game maker. Amateur landscape photographer.
@Rapheal36998
Rapheal36998
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@briancabbott
Brian Abbott briancabbott
Entrepreneur. I currently live in Bellevue, WA.

Bellevue, WA

@Wanderkind
Jeongseop Lee Wanderkind

South Korea

@ligurio
Sergey Bronnikov ligurio
I make software suck less
@GlebShchepa
Gleb GlebShchepa
@RyanZurrin
Ryan Zurrin RyanZurrin
Computer Science major with experience in Python, C++, Java, C, and web design. Machine Psychology fellow, UMass. Bioinformatician I, Brigham and Women's.
@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France