Skip to content
View alissa-tung's full-sized avatar
🌌
🌌
191 followers · 96 following
  • The Chinese University of Hong Kong, Shenzhen

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Pull Sharkx3

Highlights

Organizations

@Agda-zh @ZHaskell @lambda-magic @bicmr-ai4math @reaslab

Block or report alissa-tung

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
@ulic-youthlic
youthlic ulic-youthlic
@PrairieFire2b
燎原火魄 PrairieFire2b
A coder, lover of Minecraft, and the World.
@zhscn
zhscn
@lawvs
Whitewater lawvs
一生懸命

@RSSNext

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@SayaOvO
Saya SayaOvO
@iokasimov
Murat Kasimov iokasimov
Software designer

เชียงใหม่

@tsuki8
Hao Shen tsuki8
Master Student at AMSS

KLMM, AMSS

@ayanamists
LI CHENXI ayanamists

MeiTuan Beijing, China

@Glomzzz
Glomzzz Glomzzz
sublime

SERN

@Austaras
Austaras
Here comes the snow...
@ShanwenWang
s_wang@ruc ShanwenWang
@aplatoff
Andrey Platov aplatoff
Building Huly @hcengineering 🇲🇨

Huly Labs Monaco

@Seasawher
Kitamado Seasawher
I like mathematics and Lean language.

Proxima Technology Japan

@andylizf
Andy Lee andylizf
LI ZHIFEI

Renmin University of China China

@mnixry
Mix mnixry
The developer who is meaninglessly coding for @mix-archive and @nonebot. Mentor of OSPP summer 2022-2024.
@LittleJianCH
简 LittleJianCH
(define 简 简)
@yfzhe
yfzhe
@johnnychen94
Johnny Chen johnnychen94
I lead the AI team in TongYuan (@Suzhou-Tongyuan) now

Suzhou TongYuan Jiangsu, China

@jjdishere
Jiang Jiedong jjdishere
@inclyc
Yingchi Long inclyc

Institute of Computing Technology, CAS Beijing

@jetjinser
jinser jetjinser
don't stop me now.
@5HT
Namdak Tonpa 5HT
Wandering Artist

@longchenpa Kyiv, Ukraine

@xiangbuchuidle
Suying xiangbuchuidle
@WayneLin92
Weinan Lin WayneLin92
Math & coding
@HJianBo
JianBo He HJianBo
Travel in the Dwarf Fortress

EMQ Technologies Mars

@Oyyko
Colin Zhang Oyyko
UCSD M.S. in CS | Software Engineer Intern @ TikTok Infra

Tiktok San Jose, California, USA

@morange1514
morange1514
@yzzlqyxc
yzzlqyxc
@Lithaca
Lithaca
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@Eiaton
洛言志 Eiaton

Canton, China

@Robert-Sen
Robert-Sen

NCUT Beijing

@GNAQ
GNAQ GNAQ
Nowhere. Now here.

Harbin Institute of Technology 3D Vision Reasoning

@erupmi
Erika Tse erupmi
My personality type is dependent type.
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@Officeyutong
Officeyutong Officeyutong

Earth

@kokic
kokic kokic
𝖈𝖆𝖓𝖙𝖆 𝖕𝖊𝖗 𝖒𝖊 𝖆𝖉𝖉𝖎𝖔

@San-Angeles @the-red-pixel Beijing, China

@QwQ2000
QwQ2000
NOOB
@ksqsf
ksqsf ksqsf
{-# LANGUAGE TypeInType #-}
@oceanlvr
oceanlvr
Peaceful Trader | Front-end SDE

Shanghai

@slanterns
Slanterns slanterns
蒟蒻。

ZHZX AS15-PAPA-09

@mio-19
Mio mio-19
There is nothing here

Australian National Univerisity Aotearoa New Zealand and Australia

@level-128
level-128 level-128
@tonyxty
Tony Beta Lambda tonyxty
Free (free as in FreeCell) software supporter & practitioner.
@by-cloud
claude by-cloud
@lunalunaa
Luna lunalunaa

Waterloo, Ontario

@Map1en
Map1en
@rujialiu
Rujia Liu rujialiu

Eryiju Inc. Beijing

@NetaP495L
NetaP495L