Block or Report
Block or report utensil
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Paul Grimes
PaulKGrimes
I am a physicist at the Smithsonian Astrophysical Observatory (part of @Smithsonian) working in the Receiver Laboratory and on the Submillimeter Array.
Smithsonian Astrophysical Observatory, @Smithsonian Cambridge, MA
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Andreas Herten
AndiH
HPC, GPU Computing, Python, LaTeX, and, well…, take a look around…
Jülich Supercomputing Centre Langerwehe, Germany
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Internet Archive
internetarchive
The Internet Archive is "the library of the Internet", and a big supporter of Free Software.
San Francisco
Carlos Scheidegger
cscheid
Building quarto.org at @quarto-dev and @posit-dev.
Posit (fka RStudio) Tucson, AZ
tidyverse
tidyverse
The tidyverse is a collection of R packages that share common principles and are designed to work together seamlessly
Tomáš Skřivan
lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
TensorOpera (Formerly FEDML)
FedML-AI
TensorOpera - Your Generative AI Platform at Scale
United States of America
Wenge CHEN 陈文戈 Raymond
rcswex
Xinghai Conservatory of Music 星海音乐学院 Apex, NC / Guangzhou, China 广州 / 美国北卡阿派克斯
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Carnegie Mellon University
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Jason Rute
jasonrute
Former mathematician turned data scientist turned AI researcher. My passion is teaching AI systems to reason, especially in mathematics.
@ibm Greater Boston, MA
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Harrison Grodin
HarrisonGrodin
PhD Student in PL @ CMU CSD
Carnegie Mellon University Pittsburgh, PA
PreviousNext