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 13 days ago
1,282 followers • 113 following
Contacts
binghe.lisp@gmail.com
https://www.linkedin.com/in/binghelisp/
@binghe_lisp
binghe.lisp
Organizations
Profile Overview
Global
Australia
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#64,243
#498,040
#5,395
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 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%
View all 15 repositories
Last 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
View all contributions
Latest Updates
05 Nov 2025
Followers Count:
1,283
1,282
22 Oct 2025
Followers Count:
1,279
1,283
08 Sep 2025
Followers Count:
1,278
1,279
25 Aug 2025
Followers Count:
1,277
1,278
10 Aug 2025
Followers Count:
1,278
1,277
05 Jan 2025
First seen
Subscribe to binghe's GitHub rank updates in your messenger
WhatsApp
Telegram
