Skip to content
View akuklev's full-sized avatar

Block or report akuklev

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
@ferdous6443
Ferdous Ahamed ferdous6443
#Lifelong Learner #Tecnology enthusiast eagar to learn more about computer

United International University Dhaka,Bangladesh

@jesyspa
Komi Golov jesyspa
Mathematics PhD student at Radboud University, Nijmegen; currently at JetBrains. Interests: formal verification, type theory, programming language theory.

@JetBrains Utrecht, The Netherlands

@carnotweat
sameer gupta carnotweat
now sr.ht/carnotweat

carnot Bangalore

@vonavi
Vladimir Ivanov vonavi

Huawei Technologies Co. Ltd Moscow, Russia

@lukasjuhrich
Lukas Juhrich lukasjuhrich
Also check out my Gitlab profile: https://gitlab.com/lukasjuhrich

AG DSN Dresden

@rybla
Henry Blanchette rybla
programming languages, formal verification, functional programming, game theory.

CS PhD student at UMD UMD

@whisper-bye
Len Freehoffer whisper-bye
As a passionate coding enthusiast, I, Len Freehoffer, excel in Python, Java, and C++. I eagerly participate in competitions and aspire to make an impact in the
@victoryang00
Yiwei Yang victoryang00
Ph.D. student @SlugLab, try to make the system fast and reliable.

Baskin Engineering Santa Cruz, California

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@zeta1999
Renoir Fortytwo zeta1999
ML, Crypto, Applied mathematics, Hardware optimization (experience at an FPGA company). Remoting is an option. Collector of interesting stuff.

Seoul

@breandan
breandan breandan
Student

@mila-iqia Montréal, Québec, Canada

@NeoChow
NeoChow NeoChow
iOS developer, experienced in Android & Golang

Tokyo, Japan

@lxdlam
lxdlam lxdlam
Interest Driven Coder / Music Enthusiast / Lifelong player / Infrastructure / PLT hobbist

Ramen's Game Center Ramen's Land

@carlosal1015
Oromion carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.

National University of Engineering Peru

@molikto
molikto

Beijing, China

@awkure
awkure
Why am I being followed by italians

4096R/C20C9D19

@gabriel-fallen
Alexander Chichigin gabriel-fallen
ML/Software Engineer. Commit juggler.

Kontur Tbilisi, Georgia

@clayrat
Alex Gryzlov clayrat
Logic, languages and systems

IMDEA Software Madrid