8000 timsueberkrueb (Tim Süberkrüb) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View timsueberkrueb's full-sized avatar
85 followers · 88 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
@snkd
Susant Khadka snkd
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@JakubSchwenkbeck
Jakub JakubSchwenkbeck
Hey:) I'm a prequels stan

Tübingen

@PhictionalOne
Phi PhictionalOne
Studying Computer Science in Tübingen and part of @fsi-tue
@marvinborner
Marvin marvinborner

@effekt-lang @se-tuebingen

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

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

@carvalhochris
Christopher Carvalho carvalhochris
Founder of Songcards: Listen. Discover. Collect.

Songcards London

@nmrshll
Nicolas Marshall nmrshll
🦀 Rust & blockchain dev - Blockchain infra, smart contracts, DeFi, identity & auth, APIs, key mgmt, distributed systems

@Unbox-infinity UK

@cstml
Vlad L cstml
λx . (λx . "Interested in: " <> x) "Haskell, Proofs, Agda, Rust, PLT, λ calc, lisp, erlang, Nix, Maybe C - did I mention Types?"

Sheffield, United Kingdom

@rockofox
rockofox
big nerd that likes foxes

Austria

@MangoIV
Mango The Fourth MangoIV
Haskell, Nix and other functional languages

Germany

@yaobo-lab
yaobo yaobo-lab
hello world

china

@AmiralaDev
Amirala AmiralaDev
Software Engineer. Rust enthusiast & Love to create a secure and scalable Softwares.

@sheypoor Mars

@yfzhe
yfzhe

Beijing

@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

@Connor9994
Connor Connor9994
@IDouble
Alp ₿📈🚀🌕 IDouble
🗽 Be greedy when others are fearful and be fearful when others are greedy ☕️ Full-Stack 🖥💻📱⌚️ Finance, Crypto ⛓ (Blockchain, Smart contracts etc.)

IDEX/USD Zurich, Switzerland

@4ad
Aram Hăvărneanu 4ad
Mathematical engineer bringing type safety to the cloud.

@cue-lang Vienna, Austria

@GrupoCV
GrupoCV GrupoCV
Creaciones Visionarias. Desarrollamos sus ideas.

Creaciones Visionarias Manizales

@Sohaib0399
Sohaib0399
@jneuff
Julius Kreuzer jneuff
@pacman82
Markus Klein pacman82
I like learning stuff from humans and explaining it to machines

Aleph Alpha

@rutgercap
Rutger Cappendijk rutgercap
Software engineer

Europe

@benbrandt
Ben Brandt benbrandt
Rust Engineer at Zed Industries

@zed-industries

@ahartel
Andreas Hartel ahartel

@aleph-alpha Heidelberg, Germany

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

University of Kent Canterbury, UK

@pflotscher
Leon Pfletschinger pflotscher

VIAVI Solutions Germany

@Imberflur
Imbris Imberflur
@zZeck
Zeck zZeck
Analyzing systems to preserve or extend them. Always looking for better concepts to achieve this more quickly and maintainably for more people.
@AlfredoCantarella
AlfredoCantarella
@eplord
eplord eplord
@davidlaewen
David Läwen davidlaewen

Netherlands

@221V
Taras 221V
🇺🇦 🇺🇦 🇺🇦 Erlang ❤️

The Earth

@ewancg
Ewan Green ewancg

Warner Bros. Discovery Arvada, Colorado

@payahong
payahong
@nsourligas
nsourligas
@Matthias-Fauconneau
Matthias Fauconneau Matthias-Fauconneau

Zürich

@eyuphuro
Hamza Francis eyuphuro
E temei o dia em que retornareis á Deus, e em que cada alma receberá o seu merecido, sem ser defraudada.{{2:281}}

El-Avassalador Record's Maputo

@jq2
Danny Caroline jq2
Self-taught AI researcher and hacker (A.K.A Real Programmer)
99B1
@chezzus
chezzus
@david-sawatzke
david-sawatzke
Electrical engineering student @ University of Stuttgart @david-sawatzke:matrix.org

Germany

@Nasirinezhad
Mahdi Nasirinezhad
We can be friends :)

Just Iran

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

@princeton-sns Princeton, NJ

@martingmuer
martingmuer
@a-wirth
a-wirth
@advocatux
advocatux

~/Earth/Europe/Spain/home

@Guerteltier
Das Gürteltier Guerteltier

@asozialesnetzwerk Germany, NRW, 51469 Bergisch Gladbach

@NeoTheThird
Johannah Sprinz NeoTheThird
Johannah "Hannah" Sprinz | Ubuntu Touch person at the @ubports foundation

@ubports Munich, Germany

@f5melo
Felipe Melo f5melo
tenho 35 anos, bacharel em TI, freelance, gosto de assistir filmes, desenhos e séries, Aluno de desenho e TI. Pratico MuayThai, natação e corrida.

FreeLance São Paulo

0