Skip to content
View haoyun's full-sized avatar
🏠
Working from home
🏠
Working from home
35 followers · 107 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Arctic Code Vault ContributorAchievement: Pull Shark

Highlights

  • Pro

Block or report haoyun

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
@tobiasdiez
Tobias Diez tobiasdiez
@doctorfree
Ronald Record doctorfree
Ph.D. Mathematics, UCSC, Nonlinear Dynamical Systems Theory (Chaos Theory). Author and technical lead, SCO Skunkware, co-inventor of the Webtop.

Moonlight Mining Company Santa Cruz, CA

@ryankeleti
ryan ryankeleti
dreaming atop a drifting plank

New England

@kisonecat
Jim Fowler kisonecat

Columbus, OH

@Lean-zh
Lean 中文文档翻译 Lean-zh
@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@nikitavoloboev
Nikita nikitavoloboev
@jackyzha0
Jacky Zhao jackyzha0
distributed systems, interaction design, and enjoying sunsets

@replit San Francisco

@sxzz
Kevin Deng sxzz
You either die a hero or you live long enough to see yourself become the villain.

undefined

@Doctor-wu
Doctor Wu Doctor-wu
Just call me Doctor · @vuejs & @vueuse core team member · Open source enthusiast · @MoeGolibrary · pre @Tencent · Dangerous Coder

MoeGo Borderlands

@ourresearch
OurResearch ourresearch
We build tools to make scholarly research more open, connected, and reusable—for everyone. Logo CC0.
@jaspervdj
Jasper Van der Jeugt jaspervdj
Haskell programmer. I like to make things.

programmer at @snyk Zurich, Switzerland

@typst
Typst typst
The new foundation for documents: Limitless power to write, create, and automate anything that you can fit on a page.

Berlin

@OpenGithubs
OpenGithubs OpenGithubs
专注优质Github开源项目的发现与分享，每日推荐实用、热门的开源项目。连接开发者与用户共建高质量开源社区，让更多优秀项目被看见，让开源真正创造价值! 微信:open_github 公众号:开源推荐官

China

@tecosaur
Timothy tecosaur
Builder of digital tools; fan of flexibility and extensibility; libre first. Gradually transitioning to a self-hosted forge.
@doomemacs
Doom Emacs doomemacs
A configuration framework for GNU Emacs.

~/.config/emacs

@yihui
Yihui Xie yihui
Freelancer (open source programmer, contractor, blogger, and writer)

@rstudio @swissre @merck Omaha, NE

@jonweinb
Jonathan Weinberger jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.

Chapman University Orange, CA

@locusmath
Locus locusmath
@arxiv-vanity
arXiv Vanity arxiv-vanity
@mariainesdff
María Inés de Frutos-Fernández mariainesdff

Imperial College London

@choukh
Chou Kyuhei choukh
Interactive theorem proving Programming maths

Tokyo

@aya-prover
The Aya Theorem Prover aya-prover
@felixwellen
Felix Cherubini felixwellen

University of Gothenburg Gothenburg, Sweden

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@AntoineChambert-Loir
Antoine Chambert-Loir AntoineChambert-Loir
Professor of mathematics

Université Paris Cité Paris

@jonsterling
Jon Sterling jonsterling
Associate Professor in Logical Foundations and Formal Methods

University of Cambridge Cambridge, Cambridgeshire, UK

@abccsss
Chenjing Bu abccsss
Mathematics PhD student at University of Oxford

University of Oxford Oxford

@rqy2002
_rqy rqy2002
Tsinghua University Qiuzhen College undergraduate

Tsinghua University

@banana-space
banana-space
@benediktahrens
Benedikt Ahrens benediktahrens

Delft University of Technology, NL

@pbelmans
Pieter Belmans pbelmans
@seek-oss
seek-oss seek-oss
Open sourcery from Australia's no. 1 jobs, employment, career and recruitment site.

Melbourne, Australia

@jacksontvd
jacksontvd
@pigpigyyy
Li Jin pigpigyyy

China, Jiangsu, Nanjing

@psprint
Sebastian Gniazdowski psprint

Poland

@anvaka
Andrei Kashcha anvaka
I love graphs

Seattle

@voorjaar
voorjaar voorjaar
@diagrams
diagrams diagrams
@antfu
Anthony Fu antfu
A ship in harbor is safe, but that is not what ships are built for.

@Nuxt undefined

@astrainfinita
Yuyang Zhao 赵雨扬 astrainfinita

CUHK-Shenzhen 香港中文大学（深圳） {Futian, Longgang}, Shenzhen 深圳{福田, 龙岗}

@Daniel-Diaz
Daniel Casanueva Daniel-Diaz

Void

@LingDong-
Lingdong Huang LingDong-
@L-M-Sherlock
Jarrett Ye L-M-Sherlock
233333

@maimemo Qingyuan, Guangdong, China

@origamidance
origami dance origamidance
Hybrid Neural Rendering

émerica New York

@valentjn
Julian Valentin valentjn

Germany

@gwern
Gwern Branwen gwern
@Minoru
Alexander Batischev Minoru
@Trebor-Huang
Trebor Huang Trebor-Huang
I'm an undergrad at Tsinghua University. / I like mathematics and dependent type theory.

Internal cat of a doughnut

@aboboo
Aboboo aboboo

aboboo.com China