Skip to content
View davidcok's full-sized avatar
20 followers · 0 following

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex4Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Organizations

@OpenJML @AnnotationsForAll
Block or Report

Block or report davidcok

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
@jcrecio
Juan Carlos Recio Abad jcrecio
Software Engineer and Researcher
@aresbit
aresbit
@asfmendes
Alexandra Mendes asfmendes

Faculdade de Engenharia, Universidade do Porto

@MRHMisu
MRHMisu
The Best of The Worst.

University of California Irvine Irvine, California

@CarlKCarlK
Carl Kadie CarlKCarlK

Microsoft Research (Retired) Bellevue, WA

@flo2702
Florian Lanzinger flo2702

Karlsruhe Institute of Technology (KIT) Karlsruhe, Germany

@GorlemZ
GorlemZ
Computer Science Student in Milan, still too many things to learn before i can call myself a programmer.
@jasperedratsub1
jasper_VuuzleTV jasperedratsub1
Marketing Sales Representatvie
@hazelnutsgz
Guozhen (Lance) She hazelnutsgz
Yet another coding idiot.

Duke University

@richardlford
Richard L Ford richardlford
@timothyklim
timothy timothyklim
@0xD3ADBEEF
Viktorio 0xD3ADBEEF

Soundboks Copehagen, Denmark

@DvonHolten
DvH DvonHolten

Hamburg

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

Singapore

@evdenis
Denis Efremov evdenis
@ZhangDingwen
张丁文 ZhangDingwen
coding and designing
@Saif255
Saif255
@habeascorpse
Alan de Oliveira Silva habeascorpse
Java Developer

IFRO Ariquemes/RO

@sstewart2012
Steven Stewart sstewart2012

University of Waterloo Waterloo, ON, Canada

@sirinath
Suminda Sirinath Salpitikorala Dharmasena sirinath

Sakrio! Sri Lanka