Di Wang

@stonebuddha

Open GitHub

🇨🇳 Beijing, China

Peking University

Profile age: about 11 years

Updated 4 days ago

143 followers • 17 following

Contacts

https://stonebuddha.github.io/

Profile Overview

Global China

Rank in China

Expert 4

Persona

Influencer

#19,004

#6,174

#5,740

Explore Ranks

Top 3 Languages By Stars

All Languages

Top 5 Repositories

eopl

updated almost 9 years ago • age about 9 years

OCaml55.2%

Coq40.1%

Makefile2.8%

Rust1.9%

tree-sitter-sml

updated almost 4 years ago • age over 6 years

C99.0%

JavaScript0.7%

C++0.3%

vscode-better-sml

updated over 4 years ago • age over 6 years

TypeScript100.0%

sml-llvm

updated almost 9 years ago • age almost 9 years

Standard ML68.7%

C30.8%

Makefile0.5%

pyeffllm

updated 2 months ago • age 2 months

Python100.0%

View all 11 repositories

Last Contributions

2022
CSrankings
1 PR +1-0
Python
2,973
3,791
2021
cs-self-learning
1 PR +4-2
HTML
68,112
7,645
5
2020
diem
2 PRs +99-32
Rust
16,703
2,582
2
MIRAI
~26 PRs +617-59
Rust
1,011
84
15

View all contributions

Latest Updates

13 Oct 2025
Followers Count:144 143
14 Sep 2025
Followers Count:142 144
16 Aug 2025
Followers Count:141 142
19 Jul 2025
Followers Count:140 141
06 Jan 2025
First seen

Subscribe to stonebuddha's GitHub rank updates in your messenger

WhatsApp Telegram