8000 L-TChen (Liang-Ting Chen) / Followers · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View L-TChen's full-sized avatar

Organizations

@agda @flolac-tw

Block or report L-TChen

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
@connebrink
Clas Onnebrink connebrink
Software Engineer

Deutsche Glasfaser Germany

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@SeshatCZ
SeshatCZ

Czech republic

@ChAoSUnItY
Kyle Lin ChAoSUnItY
CSIE student form Taiwan. Compiler researcher. @vlang member. @CleanroomMC co-founder.

Taiwan, Taipei

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@rebornwwp
u rebornwwp

Beijing, China

@ayberkt
Ayberk Tosun ayberkt
PhD student at the University of Birmingham.

University of Birmingham Birmingham, UK

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@juniorxxue
Xu Xue juniorxxue

University of Hong Kong

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

Scotland

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@ericwang385
eric wang ericwang385

Gothenburg, Sweden

@Jyny
Jerry Y. Chen Jyny
always starting new side projects, working at @jynychen

Taiwan

@favonia
favonia favonia
Teaching at U of Minnesota

University of Minnesota Minneapolis, MN, USA

@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@skylee03
Yang Ming-Tian skylee03
HKU CS '25

University of Hong Kong Hong Kong

@nachivpn
Nachi Valliappan nachivpn
Doing this research thing
@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@2788
duli 2788

Chief Bug Maker Shanghai

@tsung-ju
Tsung-Ju Chiang tsung-ju

University of Toronto Toronto

@oToToT
Tommy Chiang oToToT
Lots of drafted repos here. Interested in making things safe and fast. PGP: 345C3A4D42D5023E0C12F52F2CAA28B5410E84

/dev/urandom Taipei, Taiwan

@dannypsnl
Lîm Tsú-thuàn dannypsnl
巫術 • 展開

Taiwan

@andy0130tw
Andy Pan andy0130tw
Write code to explore any possibilities, not to seek the answers, but to understand the questions. /* FOSS collection: @qbane */

NTUOSC Taipei, Taiwan

@iwilare
Andrea Laretto iwilare
λ(λ1(00))(λ1(00)) • モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも?

Tallinn University of Technology Tallinn, Estonia

@viluon
Andrew Kvapil viluon
Any technology distinguishable from magic is insufficiently advanced. Except for AI. Shut it down.

@Deutsche-Boerse Czech Republic

@dreday966
dreday dreday966
Code for living, code for thinking

Shanghai

@cyberglot
april cyberglot
PLT + compilers; haskell champion; agda newbie.

Glasgow, UK

0