Joe McDonough
jmcdonough98
PhD candidate at the University of Minnesota interested in algebraic combinatorics and commutative algebra
United States
Tian Gao
gaogaotiantian
@python core dev, Author of VizTracer, coredumpy, dowhen, watchpoints and objprint
Microsoft Santa Clara
The Fraenkel Lab at MIT
fraenkel-lab
We are developing computational and experimental approaches to search for new therapeutic strategies for diseases.
Cambridge, MA
Mike Stillman
mikestillman
I am a professor at Cornell University, and a creator of the Macaulay2 open source system.
Cornell
youkaichao
youkaichao
Ph.D. from Tsinghua University. Core maintainer of @vllm-project .
@vllm-project Beijing, China
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Oak Ridge National Laboratory
ORNL
Software repositories from Oak Ridge National Laboratory
Oak Ridge TN
Tanwi Mallick
tanwimallick
Assistant Computer Scientist in the Mathematics and Computer Science Division (MCS) at Argonne National Laboratory
Argonne National Laboratory
Tristan Hume
trishume
Open source enthusiast. Projects in Rust, Ruby, C++, JS, Objective-C and more.
San Francisco
Ben (Bingxing) Wang
imbushuo
aka. 饼干 or 本王, I put hobbyist things here. PGP Key DB8E 2DD2 6A68 5A23
@linkedin Sunnyvale, CA
Pietro Monticone
pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at Harmonic || Formalising in @leanprover || Developing in @JuliaLang and @python.
University of Trento Trento, Italy
Sage Mathematical Software System
sagemath
Earth, Solar System, Milky Way Galaxy, Local Group, Virgo Supercluster, Universe
PreviousNext