Rankings
Badges
/
bcpierce00
Rankings
Badges
Overview
Ranks
Repositories
Languages
Benjamin Pierce
@bcpierce00
Refresh
Open GitHub
null
University of Pennsylvania
Profile age: over 11 years
Updated 2 days ago
284 followers • 0 following
Contacts
https://cis.upenn.edu/~bcpierce
Profile Overview
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Creator
#6,809
#734,722
#34,620
Explore Ranks
Top 3 Languages By Stars
All Languages
Repositories
unison
4,842
250
19
updated 2 months ago • age over 9 years
OCaml
86.5%
Objective-C
6.1%
C
5.8%
Python
1.2%
Standard ML
0.4%
interfering
2
1
updated about 2 years ago • age almost 6 years
TeX
94.3%
Coq
5.6%
Assembly
0.0%
Makefile
0.0%
C
0.0%
bisimtester
0
0
updated almost 11 years ago • age about 11 years
Haskell
100.0%
acm-climate
0
0
updated over 5 years ago • age almost 7 years
TeX
100.0%
Last Contributions
2025
cn
1 PR
+5
-1
OCaml
34
19
cn-tutorial
2 PRs
+4,787
-5,349
C
15
12
2024
cerberus
2 PRs
+1,454
-346
OCaml
69
37
2021
clowdr-app.github.io
1 PR
+66
-89
TypeScript
0
1
2020
clowdr-web-app
2 PRs
+384
-137
TypeScript
36
13
View all contributions
Latest Updates
03 Sep 2025
Followers Count:
282
284
19 Aug 2025
Followers Count:
281
282
05 Aug 2025
Followers Count:
282
281
22 Jul 2025
Followers Count:
278
282
08 Jul 2025
Followers Count:
276
278
12 Jan 2025
First seen
Subscribe to bcpierce00's GitHub rank updates in your messenger
WhatsApp
Telegram
