Skip to content
View timsueberkrueb's full-sized avatar
90 followers · 90 following

Block or report timsueberkrueb

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
@be5invis
Belleve be5invis
Maker of Text Boxes & Low-level Text Stack
@rabuu
Rasmus Buurman rabuu

Deutschland/Germany

@sunfishcode
Dan Gohman sunfishcode
I'm working on Wasmtime, WASI, and lots of things related to WebAssembly.
@syrusakbary
Syrus Akbary syrusakbary
Entrepreneur. Mathematician. Spanish. @wasmerio CEO (YC S19). @graphql-python creator. Author of Graphene, pyjade, promises (py) and other cool stuff... 😄

@wasmerio San Francisco, CA

@jiribenes
Jiří Beneš jiribenes
PhD student at @se-tuebingen. Interested in effect and coeffect systems.

University of Tübingen, @se-tuebingen Tübingen, Germany

@marzipankaiser
Marcial Gaißert marzipankaiser

Universität Tübingen

@ccz181078
ccz181078
@meithecatte
Maja Kądziołka meithecatte
Systems software toucher. Functional programming enjoyer. Alleged math nerd. Fascinated by compilers and proof assistants.

Probably near my computer

@MarcoTz
Marco MarcoTz
@polarity
Robert Agthe polarity
i love php

Scriptshit Berlin

@jrmoulton
Jared Moulton jrmoulton
Computer Engineering

Utah

@reknih
Martin Haug reknih
Just relaxing in the OLAP hypercube

@typst Berlin

@davidlattimore
David Lattimore davidlattimore
Developer currently working on Rust development tools with a focus on Rust warm build times.

Sydney, Australia

@wtholliday
Taylor Holliday wtholliday
Developer of @audulus and Sculptura.

Audulus LLC Berkeley

@andreaskoepf
Andreas Köpf andreaskoepf

PROVISIO GmbH Muenster, Germany, Europe

@mm0821
mm0821
@AlfredoCantarella
AlfredoCantarella
@jneuff
Julius Kreuzer jneuff
@ahartel
Andreas Hartel ahartel

@aleph-alpha Heidelberg, Germany

@mhuisi
Marc Huisinga mhuisi

Lean FRO Munich, Germany

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@MikeWangWZHL
Zhenhailong Wang MikeWangWZHL
CS Phd at UIUC, Research Assistant at BLENDER lab advised by Prof. Heng Ji | Intern at Tencent AI lab | Intern at MSRA

UIUC Champaign, Illinois

@duanyiqun
ClaudeCC duanyiqun

Sydney

@psychon
Uli Schlachter psychon

In front of his laptop

@OpenByteDev
OpenByte OpenByteDev
@LukeMathWalker
Luca Palmieri LukeMathWalker
Playing around with Rust, at $dayjob and for fun.

Mainmatter Rome

@robbertkrebbers
Robbert Krebbers robbertkrebbers
Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

Radboud University Nijmegen

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@construxting
Jana Ermantraut construxting
@leissa
Roland Leißa leissa

University of Göttingen Germany

@herbelin
Hugo Herbelin herbelin
@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@stedolan
Stephen Dolan stedolan
@raviqqe
Yota Toyama raviqqe

On the Internet

@Imberflur
Imbris Imberflur
@klauso
Klaus Ostermann klauso

University of Tübingen Tübingen

@brendanzab
Brendan Zabarauskas brendanzab
I'm interested in how computers can extend human creativity, and how type systems can be used as tools for thought. 👨‍🎨👨‍💻👨‍🔬

@yeslogic Melbourne, Australia

@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@BinderDavid
David Binder BinderDavid
Researcher in type theory and programming languages

University of Kent Canterbury, UK

@skingo
Ingo Skupin skingo
@davidlaewen
David Läwen davidlaewen

Netherlands

@Tobi208
Tobias Lass Tobi208
Building applications.

@Hoodie-Hoo Kaiserslautern, Germany

@gallais
G. Allais gallais

Glasgow, Scotland

@chezzus
chezzus
@popey
Alan Pope popey
Developer Advocate / Engineering Manager / Community Manager / Cat fan.

Anchore UK

@david-sawatzke
david-sawatzke
@david-sawatzke:matrix.org

Germany

@edwinb
Edwin Brady edwinb
@0x4A6F
0x4A6F

~

@sharkdp
David Peter sharkdp

@astral-sh Stuttgart, Germany

@lschuermann
Leon Schuermann lschuermann
Grad student. Working on @tock. Chat on Matrix: <at>leons:is.currently.online

@princeton-sns Princeton, NJ