Skip to content
View zaklogician's full-sized avatar

Block or report zaklogician

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
@oebelus
Oebelus oebelus
Just making stuff ^_^
@pmbittner
Paul Bittner pmbittner
Research assistant and PhD student | Likes Agda, Agdq, ADTs, ASTs, MtG| Allergic to syntax without semantics

University of Paderborn Paderborn

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@serapath
Alexander Praetorius serapath
Gradually migrating away from Microsoft GitHub due to their efforts to centralize (i.e. concentrate power) development tools and the open source community

DatDot & WizardAmigos UK & Nomading

@BelegCuthalion
Alireza BelegCuthalion
I talk to the machine.

Tehran

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid

@sblack4
Steven B sblack4
Taking it easy

@rhythmictech Washington DC

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK