Thanks to visit codestin.com
Credit goes to github.com

Skip to content

@agda-web Agda Web

Users following agda-web

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@lambdabetaeta
Alex Kavvos lambdabetaeta

University of Bristol Bristol, United Kingdom

@jiangsy
Shengyi Jiang jiangsy
@banacorn
Ting-gian LUA banacorn
Into CS, maths, and linguistics.

Taipei, Taiwan

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@0x73970
0x73970
@cwhy
Chen Yu cwhy
I am working on machine learning theory and algorithms.
@jojoid
JoJo jojoid
@hmltn-0
Julius Hamilton hmltn-0
Developer honing skills in system design, project management, and full stack. Focused on SQL, data science, and category theory. Let's innovate together.

Hamilton, Inc. Salt Lake City

@YunXiuRZ
YunXiuRZ
@lardapide
LIS-λ lardapide
Semanticist

Federal University of São Carlos São Paulo, Brazil

@celsobonutti
celso celsobonutti
hey i'm celso | i write haskelly things in my day job

@NoRedInk Salvador, Bahia

@wenkokke
Wen Kokke wenkokke
tries to walk the line between programming languages and a̸i̸ | good job, y'all ruined ai

Scotland

@YuRen-tw
Yu-Ren YuRen-tw
M.S. in Mathematics. Combinatorics, Algebra. @NTUOSC

Taipei, Taiwan

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@L-TChen
Liang-Ting Chen L-TChen

Institute of Information Science, Academia Sinica Taiwan