Skip to content
View grunweg's full-sized avatar
15 followers · 0 following
  • Uni Bonn, Germany

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Quickdraw

Achievements

Achievement: Pull Sharkx3Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Quickdraw

Block or report grunweg

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@lean-tom
lean-tom
@YanYablonovskiy
Yan Yablonovskiy YanYablonovskiy
PhD student, Mathematics, Monash University, Melbourne.

Australia

@CoolRmal
Yongxi (Aaron) Lin CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
@pepamontero
Pepa Montero Jimena pepamontero
Mathematics BSc, MSc student in Formal Methods. Interested in Lean and proof development.

Madrid, Spain

@michael-novak-math
michael-novak-math
@CodeTitanium
Levi Githaiga CodeTitanium
@jessealama
Jesse Alama jessealama
Racket, JS, Lean, math.

Mainz, Germany

@TranscranialAvenue
TranscranialAvenue
@MohammedSharukh
Mohammed Sharukh A MohammedSharukh
Maths Teacher @98thPercentile | Ex-Maths Teacher @planetspark | Pentab User 🖋💻 | EdTech | AIED | AI/ML/DL/GNNs | IIT Palakkad '22 | MSc Mathematics

PlanetSpark Kerala, India

@Komyyy
Miyahara Kō Komyyy
My family name is "Miyahara".

Tokyo University of Science Tokyo, Japan

@chenjulang
chenjulang
@peabrainiac
Ben Eltschig peabrainiac

Berlin, Germany

@owenlamont
Owen Lamont owenlamont
I'm a software engineer with interests in data visualisation, machine learning, computer graphics, Python, and Rust

OptiGrid Perth, Australia

@dominikwilkowski
Dominik Wilkowski dominikwilkowski
Likes tabs for indentation and light IDE themes...

Queensland, Australia