leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
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
Tim Whiting
TimWhiting
I'm a PhD student. My research is focused on control flow analysis, and I love everything about syntax, compilers, semantics, as well as HCI.
Brigham Young University Provo UT
Rynco Maekawa
lynzrand
"Never tried hard before, But dreamt to be special."
Building compilers & developer tooling.
OCaml / Rust / C# / C / Typescript;
en_US / zh_CN.
AS16-November-08
Trebor Huang
Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.
Internal cat of a doughnut
Sindre Sorhus
sindresorhus
Full-Time Open-Sourcerer. Focused on Swift & JavaScript. Makes macOS apps, CLI tools, npm packages.
Virtual Gamepad Emulation Framework
ViGEm
Projects devoted to USB input device emulation and game peripherals reverse engineering.
Zihua Li
luin
Web developer and designer, technical book author. I build tools that help people do things better.
@slab