8000 haoyun (Yun Hao) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View haoyun's full-sized avatar
🏠
Working from home
🏠
Working from home
36 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
Compose papers faster: Focus on your text and let Typst take care of layout and formatting.

Berlin

@OpenGithubs
OpenGithubs OpenGithubs
OpenGithub社区:挖掘Github优质项目,帮助用户发现有趣、实用、流行的开源项目! Contact US： 💬WeiXin:open_github 🐧QQ:411035074 📮Email:411035074@qq.com

China

@tecosaur
Timothy tecosaur
Org-mode devotee, and ardent fan of FLOSS. Gradually moving to self-hosted Forgejo.
@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

@FR-vdash-bot
Yuyang Zhao 赵雨扬 FR-vdash-bot
Competitive programmer. Graduate. Want to study math and TCS.

BICMR 北京国际数学研究中心 Haidian, Beijing 北京海淀

@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

0