Rankings
Badges
/
sweirich
Rankings
Badges
Overview
Ranks
Repositories
Languages
Stephanie Weirich
@sweirich
Refresh
Open GitHub
🇺🇸 Philadelphia
University of Pennsylvania
Profile age: about 13 years
Updated 10 days ago
814 followers • 19 following
Contacts
sweirich@seas.upenn.edu
http://www.seas.upenn.edu/~sweirich
Profile Overview
Global
United States
Beginner
Adept
Advanced
Expert
Master
Elite
Legend
Global Rank
Legend 2
Persona
Influencer
#22,977
#1,242,805
#9,583
Explore Ranks
Top 3 Languages By Stars
All Languages
Top 5 Repositories
pi-forall
611
96
updated 11 months ago • age about 12 years
Haskell
97.8%
Makefile
2.2%
dth
307
26
1
updated almost 3 years ago • age about 11 years
Haskell
96.4%
Agda
3.6%
tal
149
15
updated about 4 years ago • age almost 10 years
Haskell
100.0%
lambda-n-ways
120
8
updated 4 months ago • age about 4 years
HTML
99.4%
Haskell
0.6%
Makefile
0.0%
Shell
0.0%
challenge
118
9
updated almost 3 years ago • age over 6 years
Haskell
100.0%
View all 18 repositories
Last Contributions
2020
clowdr-web-app
1 PR
+14
-10
TypeScript
36
13
2019
parameterized-utils
4 PRs
+831
-99
Haskell
60
13
2018
crucible
2 PRs
+374
-255
Haskell
743
46
7
saw-script
1 PR
+18
-15
Haskell
478
77
14
Forvis_RISCV-ISA-Spec
1 PR
+8,407
-14
Haskell
101
19
View all contributions
Latest Updates
23 Sep 2025
Followers Count:
815
814
08 Sep 2025
Followers Count:
812
815
25 Aug 2025
Followers Count:
809
812
11 Aug 2025
Followers Count:
810
809
27 Jul 2025
Followers Count:
805
810
02 Jan 2025
First seen
Subscribe to sweirich's GitHub rank updates in your messenger
WhatsApp
Telegram
