Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View kappelmann's full-sized avatar
28 followers · 10 following

Achievements

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

Achievements

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

Organizations

@isabelle-prover @lean-forward

Block or report kappelmann

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
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@Lingyin00
Lingyin Luo Lingyin00

Munich / Chengdu

@FadiShawki
Fadi Shawki FadiShawki
The Etherlands @orbitmines

@orbitmines The Netherlands

@valentin-seitz
valentin-seitz
Research Engineer

Barcelona Supercomputing Center Barcelona

@andys8
Andy andys8
λ ⌨️ ☕

Munich

@ciaran-matthew-dunne
Ciarán Dunne ciaran-matthew-dunne
proof assistants, formal math, etc

Paris, France

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@NiklasRosenstein
Niklas Rosenstein NiklasRosenstein

Helsing GmbH Munich, Germany

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@adomasbaliuka
Adomas Baliuka adomasbaliuka
Physicist
@piaaver
piaaver
@franklinqin0
Franklin Qin franklinqin0
Computer Science Master Student @ TUM with a passion on robot learning.

Munich, Germany

@itsmeyaw
Yudhistira Arief Wibowo itsmeyaw
Informatik @ Technical University of Munich. Working Student @ Siemens

Siemens Deutschland

@Neihtq
Quang Thien Nguyen Neihtq
Software Development Enginee II at AWS | Graduated in Informatics M. Sc. at Technichal University of Munich (TUM)

Germany

@gapsong
gapsong
Exploring LLM Quantization with XAI. Feel free to check out my repositories and contact me for more information.

@fraunhoferhhi Berlin

@vonmutius
Joshua von Mutius vonmutius
@MarcusMorba
Marcus Morba MarcusMorba
Please see LinkedIn for details. In short: a11y, Drupal, Frontend, UX/UI, Design Systems. Former DJ/VJ and fanboy of audiovisual & digital art & projects.

Freelance creative Nuremberg area/Germany

@Patrik-Lerch
Patrik Lerch Patrik-Lerch
@DomiBau
Dominique Bau DomiBau
@nerdsupremacist
Mathias Quintero nerdsupremacist
Developer, Student, Spaghetti Code Enthusiast and Professional Swear Word Sayer.

@Facebook prev @JetBrains London, UK

@SebastianAigner
Sebastian Aigner SebastianAigner
Developer Advocate at @JetBrains for all things Kotlin. Explore my repos, but don't expect all to work.

@JetBrains Bavaria, Germany

@Freshchris01
Christian D Freshchris01
Freelance Cloud Native Engineer | Computer Science @ TU Munich

@microsoft @freeletics @tech4germany Munich

@Lugitan
Gilles Tanson Lugitan

Netlight GmbH Berlin

@timbrgr
Tim Berger timbrgr
Data & AI @ Google

Berlin, Germany

@fewhnhouse
Felix Wohnhaas fewhnhouse

@pricenow-ch Zürich

@trothenbacher
Thomas Rothenbacher trothenbacher

Luzern

@lukasstevens
Lukas Stevens lukasstevens

Munich

@qway
Ada Wiberg qway

TU Munich Munich