Rankings
Badges
/
stonebuddha
Rankings
Badges
Overview
Ranks
Repositories
Languages
Di Wang
@stonebuddha
Refresh
Open GitHub
🇨🇳 Beijing, China
Peking University
Profile age: about 11 years
Updated 4 days ago
143 followers • 17 following
Contacts
https://stonebuddha.github.io/
Repositories
eopl
32
1
updated almost 9 years ago • age about 9 years
OCaml
55.2%
Coq
40.1%
Makefile
2.8%
Rust
1.9%
tree-sitter-sml
24
5
updated almost 4 years ago • age over 6 years
C
99.0%
JavaScript
0.7%
C++
0.3%
vscode-better-sml
9
3
updated over 4 years ago • age over 6 years
TypeScript
100.0%
sml-llvm
8
1
updated almost 9 years ago • age almost 9 years
Standard ML
68.7%
C
30.8%
Makefile
0.5%
pyeffllm
6
1
updated 2 months ago • age 2 months
Python
100.0%
mini-fol
5
0
updated almost 9 years ago • age almost 9 years
OCaml
97.6%
Makefile
2.4%
GuideTypes
5
3
updated over 4 years ago • age over 4 years
OCaml
64.3%
Python
35.7%
uthread
Archived
5
1
updated almost 10 years ago • age almost 10 years
C
98.2%
CMake
1.8%
YAL
Archived
3
0
updated almost 9 years ago • age over 9 years
OCaml
97.2%
Forth
2.8%
sundries
2
1
updated 10 months ago • age over 7 years
TeX
73.4%
Vim Script
12.0%
Shell
9.9%
Emacs Lisp
4.7%
Show more - 10 of 11 shown
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
