Skip to content

@HoTT Homotopy Type Theory

Users following HoTT

@Morilind
Alex Morilind
@arthur3545763693
arthur3545763693
@deadmarshal
Ali deadmarshal
I love Perl, Lua, Pascal, Oberon, Modula-2/3, C, Forth, Standard ML, Scheme and Assembly

deadmarshal Iran, Karaj

@francescomacri
Francesco Macrì francescomacri
@Adalovescoffee
adalovescoffee Adalovescoffee
Stubborn math wanderer :)
@kiarie404
kiarie404 kiarie404
_

Nakuru, Kenya

@Cre4T3Tiv3
Jesse Moses Cre4T3Tiv3
AI/ML Engineer | Temporal Intelligence | Building next-gen AI/ML | Mathematical Foundations → Practical Engineering
@monzia-moodie
monzia-moodie
@lentilus
lentilus
learning math
@RMNT
Raminta RMNT
Raminta | 21 | Vilnius junior ML engineer | artist | fire spinner

Vilnius, Lithuania

@DanngZ
DanngZ
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@Acomage
Acomage
Instead of looking down into the mud, how about looking up at the stars!
@josueestracord
Josue Estrada-Cordoba josueestracord
Environmental Science major & Mathematics minor at Georgia Gwinnett College. Interested in linguistics, mathematics, environmentalism. Born September 12, 2001.

Atlanta Metropolitan Area

@yntsoftware
Nuey Thepyasuwan yntsoftware
C# Developer
@seanpm2001
Sean P. Myrick V19.1.7.2 seanpm2001
I'm an experienced programmer, with the intent to make the world a much better place, and protect freedoms of the Internet. I am skilled in Python, and web dev.

Self-employed; looking for tips Walla Walla Washington, USA, Earth, Milky way, <Universe>

@introunity
wwwjle introunity
hey
@ChachiTheGhost
Marcus Acosta ChachiTheGhost
@sambellet
sambellet
@timdoma
Heonseong Park timdoma
@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

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@EminovTagir
Eminov Tagir EminovTagir
Eminov Tagir Renatovich 19 y.o. HSE Lyceum grad CU student Rus/Eng/Deu
@TheVeryDarkness
TheVeryDarkness
A college student from China.

China

@ewdlop
Raymond Lei(雷菩宇); 䨻-Ficus religiosa-Cousin ewdlop
Hello there! A mathematics enthusiast.智造未来！42 = (-80538738812075974)^3 + 80435758145817515^3 + 12602123297335631^3. Algorithm >> language. Praticing 黑色幽默; 腦筋急轉彎

(+壹)柒參貳-柒肆零-伍零參陸 Panthalassa, Not Garden State of United States of America 07712

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@rikkeii
rikkeii
@iamoeg
Oussama EL GHANNAMI iamoeg

Morocco

@PHTPSN
PHTPSN
A colored pen.

Xidian University Xi'an

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@oebelus
Oebelus oebelus
Just making stuff ^_^
@derejetadesse
Dereje Deressa derejetadesse
I am an IT professional and qualified digital entrepreneur with a unique hybrid skillset that touches leadership, operations, and information technology.

USA

@nn971
nn971
@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@Hacker-Code-J
Ji, Yong-Hyeon Hacker-Code-J
@ardalaan
Ardalan Ebrahimnia ardalaan
@djtrack16
Darius Liddell djtrack16
books, code, aestheticism, and all the rest
@0l1fe
0l1fe
@uchukwu
uchukwu
@dawnchan030920
Dawn Chan dawnchan030920
Student from WHU.

Wuhan, Hubei Province, China

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@drzo
drzo
@lane-core
lane lane-core
formal verification, (homotopy) type theory, and categorical nonsense

san francisco

@risavkarna
Risav risavkarna
Semantics & language research, software architecture and development (social enterprises, cruise ships, hospitality, research & e-commerce). g.dev/risav

plaruh UG, nep.work, cosys.work

@daniele-bolla
Daniele Bolla daniele-bolla

London

@ndcroos
ndcroos
@Gravifer
Tci Gravifer Fang Gravifer
Stars are manual not crawled; it's just mark-and-recapture searching.

Tsinghua University Beijing

@Lemonsity
Lemonsity Lemonsity
Programming Languages ∧ Mathematics

@Lodestone-Team

@fxeqxmulfx
Mikhail Borisov fxeqxmulfx

Ufa

@start974
Jeremy Damour start974

Paris