Skip to content
View tkw1536's full-sized avatar
40 followers · 8 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@KWARC @OpenJUB @OpenMath @BeyondThePond

Block or report tkw1536

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@golang
Go golang
The Go Programming Language
@dginev
Deyan Ginev dginev
Software Engineer at arXiv.org

@arXiv New York

@kohlhase
Michael Kohlhase kohlhase
Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge

Computer Science, FAU Erlangen Nürnberg Erlangen, Germany

@kuboschek
Leo kuboschek
Arranger. Learner. Includer. Analytical. Maximizer. Strategic.

ZKB Zürich

@schoenw
schoenw
@mthanasi
Majorka Thanasi mthanasi
Here for the version control.

SWE | Co-Founder @sapiema Munich

@smirea
Stefan Mirea smirea
@dmitrc
Dmitrii Cucleschin dmitrc
Principal Software Engineer @microsoft, working on leveling up Bing experiences

Microsoft Vancouver, BC, Canada