leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Christian Deacon
gamemann
DevOps Engineer into a bit of everything. Often working on my modding project, @modcommunity, and my other open source projects when I have the time!
@modcommunity @tek-works
starneko
StarnekOvO
System Security Hunter. Python/Go/Rust.
MSCS at CU Boulder. Freelancer.
ヨルシカ ◂Ⓘ▸ maimaiDX
Rhodes Island Hong Kong
jiayongliang
anbgsl1110
Youth infinite fantasy, carrying clear, love yourself, love life.
Hangzhou, China
Like Xu
lkml-likexu
A linux kernel developer, focusing on performance (w/ monitorability, w/ debuggability, w/ scalability, w/ power efficiency).
Tencent Cloud Shanghai, China
yongzhen.wang
kingfs
5qyi6L+O5oqV6YCS566A5Y6GIG1haWx0bzogeW9uZ3poZW4ud2FuZ0BjaGFpdGluLmNvbQo=
Beijing
Shengyu Zhang
SilverRainZ
I don’t write complex code. I created @SrainApp and @sphinx-notes.
@chaitin ⇒ @bytedance ⇒ ? China
Liqueur Librazy
Librazy
zh-Hans. Learning programming from @DCjanus. PGP 0xE411E711. Full-stackunderflow developer. C#/Java/Rust/minecraft. Severe atopic dermatitis patient.
Beijing
Reimu NotMoe
ReimuNotMoe
CTO of @SudoMaker. Asian. Neurodivergent & Ace. High school dropout. I use C++, JavaScript, GNU software, MIPS processors, and ICs made by ethical companies btw
@SudoMaker The Big Scary Country
Yukino Song
ClassicOldSong
A jser, a music(noise) producer, a (cellphone)photographer, and... maybe a designer
@SudoMaker