-
06:22
(UTC +08:00) - https://shuhenglee.github.io
- https://orcid.org/0000-0002-3342-7831
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Mastodon
mastodon
Mastodon gGmbH is a German non-profit developing a decentralized social network
Germany
LLVM
llvm
This is the LLVM organization on GitHub for the LLVM Project: a collection of modular and reusable compiler and toolchain technologies.
Peter Norvig
norvig
Author, Programmer, Teacher, Research Director at Google
Google Palo Alto, CA, USA
Michael Rose
mmistakes
Just making m̴̨͉̃ͣͭ̉̈́͠is̛̞̥͔̳ͯ̈́͊͌̈̌̇͞͠t̵̤͒́͆̀́̂̎ͪ̀ḁ̜̹̱̂͒k̵̥̗̜̹ͭ̾́̚e̸͖̬͕̙͚ͤ̓͐͗ͪ͒͠s̞̻̟̰̰͕̮̐ͮ̑ in life, drawing, and web development.
Buffalo, New York
Oh My Zsh
ohmyzsh
A delightful community-driven framework for managing your zsh configuration.
Portland, OR
Joseph Wright
josephwright
A chemist with an interest in typesetting. Member of The LaTeX Project (@latex3).
Ely, UK
PreviousNext