Skip to content
View iblech's full-sized avatar

Organizations

@augsburgpm @matheschuelerzirkel-augsburg @curry-club-aux @luga-ev

Block or report iblech

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
@relrod
Rick Elrod relrod
Learning Rust • Lead of @dagd • Ham radio, functional programming and type theory.

Checkmk GmbH Germany

@rybla
Henry Blanchette rybla
programming languages, formal verification, game dev, game theory

CS PhD student at UMD Washington, DC

@emilycodestar
Emily 💞 emilycodestar
✨ hiiii! check out my open-source projects 💻💖 they’re like my little babies and I love sharing them 🌸🐾
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@WhiteSymmetry
Mehmet Keçeci WhiteSymmetry
Physicist (Completed the dissertation phase of the Ph.D. in Physics) <M|ehme|t><K|eçec|i> #FreeGaza

Türkiye

@S4IL21
S4IL S4IL21
Code. Learn. Repeat. 🧑‍💻

Tatom [Owner] Barcelona, Spain

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@vikraman
Vikraman Choudhury vikraman
Chancellor's Fellow

University of Strathclyde Glasgow, UK

@motanelson
nelson jr mota motanelson
Can find me on discord chanel cosmos os

https://youtube.com/@nelsonmota-s4u Portugal, lisbon

@Jakobs9thClone
Jakob Jakobs9thClone

Lutzisoft Augsburg

@ybj14
Binjie Yuan ybj14

Tsinghua University Beijing

@SimplicialCat
王进一 SimplicialCat
First-year graduate student (2024), topos theorist from Qiuzhen college, Tsinghua University.
@nellifunk
Nelli Funk nellifunk
Graph Theory Enthusiast | Student Master of Science Mathematik @ Uni Augsburg | Coding Newbie | Currently interested in Webdevelopment & DevOps

University of Augsburg

@jrpie
jrpie

Munich, Germany

@eliapasquali
Elia Pasquali eliapasquali
MCs in Computer Science @ UniPD

University of Padua Verona, Italy

@francescoo22
Francesco Protopapa francescoo22
Software Developer @JetBrains

JetBrains Munich, Germany

@gabrielrovesti
Gabriel Rovesti gabrielrovesti
IT Consultant | Full Stack Developer | CS Teacher & Tutor

Padova

@MatteoCus
Matteo Cusin MatteoCus
M.Sc. Degree student, full-stack developer

University of Padua Padua, Italy

@theconsciouspasticcio
Donato Quiccione theconsciouspasticcio
I'm So Meta Even This Acronym

$HOME

@ahuoguo
Alex Bai ahuoguo

New York University

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@SeshatCZ
SeshatCZ

Czech republic

@rahulkpareek
Rahul Pareek rahulkpareek
AI, ML enthusiast, ❥ Physics. A huge fan of Calvin👦 & Hobbes😻

Munich, Germany

@LinuxJS
Meow LinuxJS
I code.

@SAMSUNG Multiverse

@2ashishs
Ashish Sadhwani 2ashishs
Ex-SDE-III (Feed SDK Team) @ Glance, Ex-Android Developer @ Gaana, Ex-Visiting Faculty @ Dept. of Comp Sc, University of Delhi

New Delhi, India

@id-2
pzdrk id-2

@yolorollo @ton-bot @pizdarikihq @hummingcraft @webmindapp @jetrover @christofari human in the loop

@jelspace
21world jelspace
.new. LOTTERY FORCED MARRIAGE(entire population) + BASIC INCOME is give free money for all,opposite to: forced take VAT tax from all

BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization

@JeNesSaisPas
Johann Lindele JeNesSaisPas
Hello everyone, My name is Johann, I live in Germany and have currently started my retraining as an IT specialist in the area of ​​application development.

Kohl Beratung + IT GmbH Germany

@mi6paulino
Michael Paulino mi6paulino
Founder VIGIA.I ©️ tracking integrated data

Michael Paulino Solutions New York City

@BRonen
Brenno Rodrigues BRonen
Functions describe the world.

Brasil Paralelo sa-east-1

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@KamilaTrinkenschuh
KamilaTrinkenschuh

Augsburg, Bavaria

@nathanpereira1234
Nathan Joseph Savio Pereira nathanpereira1234
🚀 Hi there! I'm Nathan , a problem-solving wizard.Open Source Supporter|.AI Engineer

Siemens Healthineers Mapusa,Goa

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing