Xuan Bi

@bixuanzju

Open GitHub

🇭🇰 Hong Kong

Profile age: over 13 years

Updated 13 days ago

88 followers • 230 following

Contacts

http://bixuanzju.github.io/

Profile Overview

Global Hong Kong

Global Rank

Expert 5

Persona

Contributor

#596,645

#203,872

#140,680

Explore Ranks

Top 3 Languages By Stars

All Languages

Repositories

sicp-exercises-elisp

updated over 11 years ago • age almost 12 years

Emacs Lisp100.0%

ESOP2019-artifact

updated almost 7 years ago • age about 7 years

Coq83.9%

Haskell9.4%

Slash6.1%

Emacs Lisp0.4%

Nix0.2%

papers-phd

updated almost 7 years ago • age almost 7 years

TeX73.0%

Coq21.8%

Haskell4.5%

Makefile0.5%

Emacs Lisp0.2%

full-version

updated almost 10 years ago • age about 10 years

Haskell93.4%

Yacc6.6%

COMP8101

updated over 9 years ago • age over 9 years

TeX100.0%

Last Contributions

2020
doomemacs
3 PRs +16-29
Emacs Lisp
21,193
3,132
2018
spacemacs
1 PR +1-4
Emacs Lisp
24,654
4,873
158
2017
ott
1 PR +1-1
OCaml
391
52
10
dsss17
1 PR +4-1
Coq
88
14
2016
spacemacs
1 PR +0-0
Emacs Lisp
24,654
4,873
158

View all contributions

Latest Updates

21 Oct 2025
Followers Count:87 88
04 Jan 2025
First seen

Subscribe to bixuanzju's GitHub rank updates in your messenger

WhatsApp Telegram