Rankings
Badges
/
binghe
Rankings
Badges
Overview
Ranks
Repositories
Languages
Chun Tian
@binghe
Refresh
Open GitHub
🇦🇺 Canberra, Australia
Australian National University
Profile age: almost 16 years
Updated 14 days ago
1,282 followers • 113 following
Contacts
binghe.lisp@gmail.com
https://www.linkedin.com/in/binghelisp/
@binghe_lisp
binghe.lisp
Organizations
Repositories
pcl-cn
184
18
1
updated over 5 years ago • age over 6 years
informatica-public
76
7
1
updated almost 3 years ago • age about 10 years
Standard ML
80.3%
Java
11.4%
OCaml
4.1%
Common Lisp
2.1%
NetLogo
2.1%
Acrobat-Actions
75
21
6
updated 11 months ago • age almost 7 years
C
79.9%
Common Lisp
13.3%
C++
4.0%
JavaScript
2.4%
Shell
0.4%
PCL
71
3
updated about 9 years ago • age over 10 years
Common Lisp
100.0%
cl-net-snmp
25
2
updated almost 8 years ago • age about 8 years
Common Lisp
100.0%
MCL
24
5
1
updated almost 7 years ago • age about 8 years
Common Lisp
97.5%
C
1.6%
Assembly
0.5%
Rebol
0.3%
Roff
0.0%
closette
21
3
updated about 9 years ago • age about 9 years
Common Lisp
100.0%
OSCAR
14
2
1
updated over 7 years ago • age about 8 years
Common Lisp
100.0%
fm-plugin-tools
14
3
6
updated over 1 year ago • age over 7 years
Common Lisp
97.6%
Shell
1.3%
Batchfile
1.0%
portable-threads
13
3
2
updated over 4 years ago • age about 9 years
Common Lisp
100.0%
Show more - 10 of 15 shown
Contributions
2025
HOL
2 PRs
+5,525
-1,140
Standard ML
698
161
8
polyml
1 PR
+2
-2
Standard ML
512
52
9
2024
vivado-risc-v
1 PR
+2
-2
Tcl
1,000
233
7
HOL
~58 PRs
+5,614
-2,920
Standard ML
698
161
8
lambek
1 PR
+13
-18
Coq
7
0
thesis-main
3 PRs
+3,383
-1,018
TeX
0
1
Latex
3 PRs
+3,413
-955
TeX
0
1
HOL
2 PRs
+203
-159
Standard ML
0
0
2023
HOL
~30 PRs
+2,169
-330
Standard ML
698
161
8
trivia
1 PR
+4
-2
Common Lisp
349
22
Show more
