Skip to content
View aisejohan's full-sized avatar
89 followers · 3 following

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Organizations

@stacks @gerby-project

Block or report aisejohan

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 supported. This note will be visible to only you.
Report abuse

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

Report abuse
@lishizhangmath
Shizhang Li lishizhangmath
I am, none other than, a keyboard-typing monkey.
@PardafanPro
ParDaFan Pro PardafanPro
ParDaFan Pro

ParDaFan Maragheh

@mpanahi3000
Mehdi Panahi mpanahi3000
Mehdi Panahi ParDaFan Companay شرکت پرچم داران دانش و فناوری - پردافن https://github.com/pardafan

ParDaFan ParDaFan Co,Maragheh,Iran

@Percimorphism
Percimorphsim Percimorphism
@litvinovrv
Roman Litvinov litvinovrv
@robertcardona
robertcardona

New York

@bluewwork
bluewwork
@ryankeleti
ryan ryankeleti
dreaming atop a drifting plank

New England

@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@jonasfrede
Jonas Frede jonasfrede
I am a mathematician from Germany. Interested in Mathematics, Optimization, Models, Operations Research, Data, Programming, Patterns and more.

Germany

@ouv
ouv
@FranGarciaCo
Francisco García FranGarciaCo
@qhn1121
曲豆豆的秘密花园 qhn1121
依然是那个超级可爱的治愈系小学弟；PB13001的合肥南七遗民。

南七技校福利社 北京五道口/合肥南七

@cben
Beni Cherniavsky-Paskin cben

Ariel, Israel

@pardafan
ParDaFan pardafan
پرچم داران دانش و فناوری - پردافن Pardafan.Email@gmail.com

ParDaFan ParDaFan ,Maragheh,Iran

@pp1992m
pp1992m
@guojing0
Jing Guo guojing0
@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany

@pengpengpengqiqiu-lee
pengpengpengqiqiu-lee
@alreadydone
Junyan Xu alreadydone
PhD in Math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Heidelberg / Shenzhen

@YiqiXu
Yiqi Xu YiqiXu
@mattearnshaw
Matt Earnshaw mattearnshaw

University of Tartu Tartu, Estonia

@carmonagmateo
Mateo Carmona G carmonagmateo
@jacksonbjames
jacksonbjames
@minad
Daniel Mendler minad
minadmacs

Germany

@xuanYang
xuan-gottfried Yang xuanYang

independent researcher Germany

@etale
Taro TERAO etale

Tokyo, Japan

@fpcMotif
fpcMotif
@howardroark
☰☱☲☳☴☵☶☷ howardroark
@nilaykumar
Nilay Kumar nilaykumar
Data scientist, former mathematical physicist.

New York City

@chtoucas
Tran chtoucas
@valyakuttan
valyakuttan
@adhalanay
adhalanay
@simonmysun
孙茂胤 (Sun, Maoyin) simonmysun
Gaudeāmus igitur, iuvenēs dum sumus

FernUniversität in Hagen Wuppertal

@jcommelin
Johan Commelin jcommelin

— —

@TranscranialAvenue
TranscranialAvenue
@jzuiddam
Jeroen Zuiddam jzuiddam

University of Amsterdam Amsterdam

@jackolantern
John Connor jackolantern

Brooklyn, NY

@pbelmans
Pieter Belmans pbelmans