Skip to content
View pe200012's full-sized avatar
📖
Chasing goodness~
📖
Chasing goodness~
52 followers · 125 following
  • Jinan University
  • China
  • 05:24 (UTC +08:00)
  • X @pe200012

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: YOLOAchievement: Galaxy BrainAchievement: Arctic Code Vault Contributor

Highlights

  • Pro
Block or Report

Block or report pe200012

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
@sillycross
Haoran Xu sillycross
@flyfish30
Parker Liu flyfish30

ShenZhen of GuangDong of China

@well-typed
Well-Typed LLP well-typed
The Haskell Consultants
@CAIMEOX
CAIMEO CAIMEOX
More is different.

Complex Manifold

@victoryang00
Yiwei Yang victoryang00
Ph.D. student @SlugLab, try to make the system fast and reliable.

Baskin Engineering Santa Cruz, California

@myfreess
myfreess
程序语言爱好者 / Programming Language Culture Enthusiast
@Amaryllis-YJY
Amaryllis_ Amaryllis-YJY
@Yueyuedaisuki
科学大也要学习魔法【IGP交流群资料库】 Yueyuedaisuki
IGP交流群群号：837600728 禁止触摸
@imlyzh
Lyzh imlyzh

Chengdu

@gjz010
gjz010
@asukaminato0721
Asuka Minato asukaminato0721

The University of Tokyo tokyo

@ichinosekaori
一ノ瀬かおり ichinosekaori
@tanpero
tanpero
目击众神死亡的草原上野花一片，远在远方的风比远方更远。

觉越来越少，梦越来越长 Canton, China

@L-M-Sherlock
Jarrett Ye L-M-Sherlock
233333

@maimemo Qingyuan, Guangdong, China

@longfangsong
龙方淞 longfangsong
一个纯粹的码农

Göteborg, Sverige

@Yoorkin
Yorkin Yoorkin
@butterunderflow
butterunderflow
@AntonPing
Anton Ping AntonPing
An undergraduate at Moscow State University. Write Rust and Haskell most of the time.

Moscow State University Moscow

@cloud11665
cloud11665
@bzy-debug
Bao Zhiyuan bzy-debug
@yzyzsun
Yaozhu Sun yzyzsun

@HKUPLG Hong Kong

@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification

Shanghai Jiao Tong University

@furtherun
Furtherun furtherun
I am a graduate student at Shenzhen University, and my research interests are program analysis & fuzzing test.

Shenzhen University

@liweijian
Weijian Li liweijian

Guangzhou, China

@Yu-zh
Yu Zhang Yu-zh

Yale University New Haven, CT

@ungatz
sanad ungatz

Indiana University Bloomington, IN, USA

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

@second-state Taiwan

@Mepy
Mepy Mepy
Nihil
@subfish-zhou
subfish-zhou

Prague

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@mayocream
Mayo mayocream
Cloud Native | Networking | Full-stack | ex-@mercari | ex-@Kong | Life is Strange. 🌀

Tokyo

@Phosphorus15
phosphorus Phosphorus15
Various-Lingual Developer, Binary Security, Program Analysis, CATs and cats🐱 lover | Learning Latin (Sed quid ?)

Somewhere earthly Gensokyo

@QuarticCat
QuarticCat QuarticCat
Seeking for interesting projects...

Nanachi's furry belly

@Menci
Menci Menci
Software Engineer @microsoft

Microsoft Suzhou, China

@bobzhang
Hongbo Zhang bobzhang
@sanpoyur
sanpo sanpoyur
うまくなりたい。

University of Wisconsin-Madison Madison, WI | Shenzhen, GD

@chenshao107
chenshao107
@NEXMEX
NEXMEX NEXMEX
@CziSKY
kirraObj CziSKY
before my body is dry.

@TabooLib Gensokyo

@LYshiying
シィールメス LYshiying
只是一个死肥宅，不过种族很凑巧的是一个人类哦，不是苍蝇也不是蜥蜴什么的，虽然有人说我像条狗。 我的价值观是……贫乳是稀有价值！

NFF 妖灵之森

@clansty
凌莞~(=^▽^=) clansty
(Maybe) JavaScript Full stack / 💖@7yunluo / Hugsっ @leohearts

Your Heart

@fangyi-zhou
Fangyi Zhou fangyi-zhou
Programming Language Researcher pronoun.is/they

London, UK

@erupmi
Erika Tse erupmi
My personality type is dependent type.
@thautwarm
Taine Zhao thautwarm
L'honneur de l'esprit humain.
@Seng-Jik
许兴逸 Seng-Jik
Game Developer.

Strrationalism Shenzhen, China

@xieyuheng
谢宇恒 / Xie Yuheng xieyuheng
我们对一个物体所形成的概念，就是，在我们所关心的情况下，这个物体的具有实际影响的效果的总和。

China

@Guest0x0
Guest0x0 Guest0x0
@SchrodingerZhu
Schrodinger ZHU Yifan SchrodingerZhu
Working!

University of Rochester Rochester, NY

@Kraks
Guannan Wei Kraks
Postdoc (PL/Compilers)

Purdue University

@iblech
Ingo Blechschmidt iblech
Mathematician working in applied topos theory. Also interested in functional programming.

University of Padova Augsburg, Germany