Skip to content
View iblech's full-sized avatar
222 followers · 217 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

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.

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
@AppServiceProvider
App Service AppServiceProvider
@nikitavoloboev
Nikita nikitavoloboev
@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@aureliocarlucci
Aurelio aureliocarlucci
@cxandru
Cass Alexandru cxandru
FP enthusiast. I like working with: Haskell, Emacs, Agda, Nix, LaTeX. I sometimes use Bash, Python and have worked with Isabelle, Rocq, FSharp, Java, Scala

RPTU Kaiserslautern-Laundau Kaiserslautern

@smoothie
Marc Eichenseher smoothie

@webville

@shayan-taheri
Shayan (Sean) Taheri shayan-taheri
Software Engineer at HonestRank LLC. American Permanent Resident. Finance. Business. Management. Marketing.

Atlanta, Georgia, America

@ofstrings2
ofstrings2
architectonic philosopher | GCAS College Dublin

GCAS Research Institute Westchester, NY

@robertcardona
robertcardona

New York

@smimram
Samuel Mimram smimram
@xuanruiqi
Xuanrui Qi xuanruiqi
Higher category theory, functional programming and blockchain

Graduate School of Mathematics, Nagoya University Nagoya, Japan

@AyeGill
AyeGill

Glasgow, Scotland

@mvr
Mitchell Riley mvr

NYUAD Abu Dhabi

@solov-t
solov-t
@pnlph
herminie pnlph
Learning @agda

Leipzig

@marcelomata
Marcelo marcelomata
Software/Research Engineer
@maxammann
Max Ammann maxammann

@KittyCAD ex @trailofbits @digitalfabrik @maplibre Germany

@bafain
Fabian bafain

Göteborg, Sweden

@ausgerechnet
Philipp Heinrich ausgerechnet

@fau-klue Erlangen

@pviotti
Paolo pviotti

Ireland

@mihi314
Michael Engelhard mihi314

Germany

@datenteiler
Christian Imhorst datenteiler
@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Peru

@MasterToninus
Antonio Michele Miti MasterToninus
Disaster scientist.

Sapienza Università di Roma

@jvjuettner
Vinzenz Jüttner jvjuettner
@jaycech3n
Josh Chen jaycech3n

University of Nottingham

@aaryaahmed56
Aarya Ahmed aaryaahmed56
Software Engineer. Interested in programming language theory, type theory, and cryptography.

Ann Arbor, MI

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@mytxd
尹名洋 mytxd
Haskeller
@bourbakis
bourbakis
Aggregator of differential programming.

Shanghai

@just-a-bot
Justin Bot just-a-bot
I'm just a bot, so, Justin Bot.
@mroman42
Mario Román mroman42

Oxford, GB

@BastiRenken
Sebastian Renken BastiRenken
@qa1
qa1
Bad Programmer with Bad habits, Hard to work with.

@GapAfzar iran

@Isomorph70
Svend Haugaard Sørensen Isomorph70
Master of computer science from Århus University, who values insight, exploration, harmony and unlimited potential.

Denmark, Århus V.

@luxbock
luxbock luxbock
@umbeebmu
umbeebmu
@CptMaister
Alexander Mai CptMaister
Siehe https://gitlab.com/CptMaister
@danielwessel
danielwessel
@anjapetkovic
Anja Petković Komel anjapetkovic
@fpcMotif
fpcMotif
@ciaosulee
ciaosulee
@tetrapharmakon
fouche tetrapharmakon
Category theorist, coend sifu. Member of https://compose.ioc.ee

https://compose.ioc.ee Tallinn, Estonia

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@CruzR
Thomas Glamsch CruzR

Augsburg, Germany

@KevinHock
KevinHock
0.01x Engineer. The (Myspace) Tom of GitHub. 11% of pre-tax income to effective altruism charities.

@grammarly (Formerly @pinterest, @Yelp) I love San Francisco

@effervescentFibration
Rhys Braginton Pettee Olsen effervescentFibration
Previously affiliated with Google, Charter, CUPLV Lab, Boulder, Colorado, USA.

Machinify Seattle, WA

@mikeonly
Michael Flaks mikeonly
@ndcroos
ndcroos
@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK