Skip to content
View urkud's full-sized avatar
44 followers · 1 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair Extraordinairex3Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@leanprover-community

Block or report urkud

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
@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Software Engineer / Cloud Engineer / IT Enthusiast

Dallas, TX

@kejace
Kristoffer Josefsson kejace

NYC / LA and in between

@ramtinmk
ramtin mahmoudi kashani ramtinmk
Ai interested undergrad
@francescomacri
Francesco Macrì francescomacri
@eust-w
longtao eust-w
Focus on AI !

Sol III

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@samwael
samwael
@chenjulang
chenjulang
@Peefy
Peefy
Focus on Programming Language, Compiler. Interested in Developer Tools, IaC, DevOps, Platform Engineering, AI and Web3.

Ant Group Hangzhou

@Formal-Mathematics-Lab
Formal-Mathematics-Lab

@FormalMathematicsLab

@hotdogontology
Taylor Belcher hotdogontology
Math & CS Teacher, Part-Time CS PhD Student, Amateur Tiny Game Dev

South Carolina Governor's School for Science and Mathematics Hartsville, SC

@ndcroos
ndcroos
@metaknowledge
metaknowledge metaknowledge
Looking for Daniel? University of Washington
@jaabari
Zakaria JAABARI jaabari
@G-structure
Luc Chartier G-structure

San Francisco Bay Area, California

@m9h
Morgan Hough m9h
Computational biophysicist

Center17 San Francisco, CA

@Iktomist
amb Iktomist
Currently working on music-theoretic iPhone and Android apps for the use of musicians and composers
@pretentious7
pretentious7
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@alexjbest
Alex J Best alexjbest
Hoi!

London, UK

@mo271
Moritz Firsching mo271

Google Research Basel, CH

@meteorode
meteor meteorode
Game Developer, love NLP, game theory, lean and Swift.

TIAB Beijing, China

@jcommelin
Johan Commelin jcommelin

— —

@johoelzl
Johannes Hölzl johoelzl

München

@rizkidotme
rizkidotme rizkidotme
being human is so nice, i am keep pushing upper bound of my limit of comprehension and agentic control.

southern hemisphere

@frankfanslc
frankfanslc frankfanslc

Fatpipe Networks Salt Lake City, UT

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

Seoul

@rei1024
Rei rei1024
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@coq-community Vietnam

@breandan
breandan breandan
Student

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

@nickfnblum
Nick Fn Blum nickfnblum

@NICK-FN-BLUM

@jshowacre
Jarod jshowacre
@beike-zh
beike-zh
@frankymacster
frankymacster
@Neustradamus
Neustradamus Neustradamus
@greati
Vitor Greati greati
Master in Systems and Computing (UFRN). PhD student at the University of Groningen, working on computational properties of nonclassical logics via proof theory.

University of Groningen Groningen, The Netherlands

@agusakov
agusakov
MMath student in C&O at UWaterloo
@soraros
soraros
@mytxd
尹名洋 mytxd
Haskeller
@matthewbauer
Matthew Bauer matthewbauer

@MercuryTechnologies Roeland Park, KS

@valentermz
Valente Ramirez valentermz
Researcher in mathematics
@wellington1993
Wellington Torrejais da Silva wellington1993
Brazilian Web Developer, System Analyst, Linux and Unix Enthusiast. Open source Lover.

Hotsoft Informática @hotsoft-desenv2 Maringá, Paraná, Brasil

@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

@JetMeta
JetMeta