面条
miantiao-me
前端切图仔🧑🏻💻，后端三脚猫🤷🏻♂️，运维挖坑人🤦🏻♂️，AI 门外汉🧐。
ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʕ•̫͡•ʔ-̫͡-ʕ•͓͡•ʔ-̫͡-ʔ NanJing,China
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
鹤翔万里
TonyCrane
Postgraduate@ZJU / DevOps@AAA / CTFer@AAA / Modder@MC
Zhejiang University Hangzhou, China
Simple Mobile Tools
SimpleMobileTools
A group of simple, open source Android apps without ads and unnecessary permissions, with customizable colors.
Slovakia
Armin Ronacher
mitsuhiko
Software developer and Open Source nut. Creator of the Flask framework. Founder of @earendil-works. Other things of interest: @pallets and @getsentry
Earendil Austria
Noel Berry
NoelFB
Sometimes, when I'm in the right mood, I make videogames and art. Or something.
Canada
Felix Yan
felixonmars
Arch Linux Developer, RISC-V Porter, probably a fox.
PGP Key: 0x786C63F330D7CB92
Arch Linux @archlinux Wuhan, China
Mario Carneiro
digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.
Chalmers University of Technology Gothenburg, Sweden
Ralph
RalXYZ
如果你梦到在星海划船，请为我带上一朵云
If drifting across a sea of stars in your dreams, please bring a single cloud for me
Zhejiang University Beijing/Hangzhou, China
Ruocheng Wang
Relento
I am Ruocheng Wang, a graduate student in the Department of Computer Science at Stanford University.
Stanford University Stanford
PreviousNext