Skip to content

@code4mathorg code4math.org

Users following code4mathorg

@mkoeppe
Matthias Köppe mkoeppe
Professor of Mathematics, creator of @passagemath, the pip-installable modularized @sagemath fork

University of California, Davis Davis, CA, USA

@MrcPl
MrcPl
@wjturner
William Turner wjturner

Wabash College Crawfordsville, IN

@Trance-0
Dream Tokenizer Trance-0
A variable with no constant attributes.

Washington University in St.Louis St.Louis

@estebanuribe
Esteban Uribe estebanuribe

Esteban Uribe Los Angeles, CA

@penguian
Paul Leopardi penguian
Senior Research Software Engineer at @ACCESS-NRI

ACCESS-NRI Canberra, ACT, Australia

@guolei1204
lei_xxx guolei1204

beijing

@mcrwfrd
Michael Crawford mcrwfrd
Software Developer living on the internet.

Unity Technologies World Wide Web

@natestemen
nate stemen natestemen
i code occasionally

seattle, wa

@DisneyHogg
Linden Disney-Hogg DisneyHogg
Postdoctoral fellow at the University of Leeds with interest in mathematical physics, algebraic geometry, and cancer science.
@feiwangai
Fei Wang feiwangai
@djspacewhale
Garrett Figueroa djspacewhale

Colorado

@aidevnn
Maths Coder aidevnn
The Power of Science Compels You !

AI DevNN Cyberspace

@sufianj
Shufan JIANG sufianj
I try to make (several) sense(s) of textual data. Je travaille sur le traitement automatique de langage naturellement drôle.
@havarddj
Håvard Damm-Johnsen havarddj
@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@SuperSonicHub1
Kyle Anthony Williams SuperSonicHub1
Just a guy manipulating streams of binary into something neato. MIT '27

@mit New York

@costelionita
Costel Ionita costelionita
@merrillholt
Merrill Holt merrillholt

Private Tutoring Dublin, CA

@YiqiXu
Yiqi Xu YiqiXu
@colltoaction
Martin Coll colltoaction
Hyping hypergraphs

🇦🇷

@ConicalDrupe
ConicalDrupe
@vcvpaiva
Valeria de Paiva vcvpaiva
I am a mathematician and AI Research Scientist. My research interests include category theory, type theories, semantics of NL and lexical semantics.

@ToposInstitute Cupertino, CA

@kenmonks
Ken Monks kenmonks
@dwinkler1
Daniel dwinkler1
I am not a cat

UNSW Sydney

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

@proxima-technology Japan

@kammitama5
kammitama5
just a functional girl..in a functional world :) PhD 🍬date. Mostly at the intersection of 💻 & Pure Math (Arith. Geometry + Alg. Graph Theory) + Quantum.

University of Vermont Ganymede

@diracdeltafunk
Ben Spitz diracdeltafunk

Bloomington, IN

@nathancarter
Nathan Carter nathancarter
I use computer science for mathematics. I teach math at Bentley University and write math books and software.

Bentley University United States